Login / Signup
Verifying Abstractions of Timed Systems.
Serdar Tasiran
Rajeev Alur
Robert P. Kurshan
Robert K. Brayton
Published in:
CONCUR (1996)
Keyphrases
</>
learning systems
expert systems
distributed systems
complex systems
petri net
knowledge base
relational databases
knowledge based systems
retrieval systems
finite state machines
systems require