Login / Signup

ScenarioTools - A tool suite for the scenario-based modeling and analysis of reactive systems.

Joel GreenyerDaniel GritznerTimo GutjahrFlorian KönigNils GladeAssaf MarronGuy Katz
Published in: Sci. Comput. Program. (2017)
Keyphrases
  • reactive systems
  • real time
  • information systems
  • training data
  • multi agent systems
  • knowledge management
  • model checking