Incremental verification of component-based timed systems.

Jacques Julliand Hassan Mountassir Emilie Oudot

Published in: Int. J. Comput. Appl. Technol. (2011)

Keyphrases

petri net
formal methods
expert systems
management system
complex systems
real world
information retrieval
distributed systems
knowledge based systems
real time
neural network
data structure
digital libraries
computer systems
model checking