Login / Signup
Automatic verification of safety and liveness for pipelined machines using WEB refinement.
Panagiotis Manolios
Sudarshan K. Srinivasan
Published in:
ACM Trans. Design Autom. Electr. Syst. (2008)
Keyphrases
</>
website
web applications
web pages
semantic web
database
link analysis
web data
web mining
information sources
web information
case study
multimedia
genetic algorithm
user experience
linked data
machine learning
data mining
information space
neural network