Login / Signup
MODEST: A Compositional Modeling Formalism for Hard and Softly Timed Systems.
Henrik C. Bohnenkamp
Pedro R. D'Argenio
Holger Hermanns
Joost-Pieter Katoen
Published in:
IEEE Trans. Software Eng. (2006)
Keyphrases
</>
petri net
management system
complex systems
finite state machines
real time
search engine
multi agent
search algorithm
distributed systems
dynamic systems