C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Hybrid Diagrams: A Deductive-Algorithmic Approach to Hybrid System Verification.
Luca de Alfaro
Arjun Kapur
Zohar Manna
Published in:
STACS (1997)
Keyphrases
</>
formal verification
artificial neural networks
model checking
object oriented
information retrieval
database systems
similarity measure
databases
genetic algorithm
web services
computational intelligence
formal methods