Login / Signup

MODEST: A Compositional Modeling Formalism for Hard and Softly Timed Systems.

Henrik C. BohnenkampPedro R. D'ArgenioHolger HermannsJoost-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