Login / Signup
Scenario-Based Modeling and Synthesis for Reactive Systems with Dynamic System Structure in ScenarioTools.
Joel Greenyer
Daniel Gritzner
Guy Katz
Assaf Marron
Published in:
D&P@MoDELS (2016)
Keyphrases
</>
reactive systems
structural analysis
error rate
petri net
real time
computer systems
dynamic environments
model checking
temporal logic
information flow
control flow
state machines