A Compositional Approach on Modal Specifications for Timed Systems.

Nathalie Bertrand Axel Legay Sophie Pinchinat Jean-Baptiste Raclet

Published in: ICFEM (2009)

Keyphrases

finite state machines
high level
intelligent systems
computer systems
learning systems
complex systems
databases
digital libraries
management system
building blocks