Login / Signup
Integrating Interobject Scenarios with Intraobject Statecharts for Developing Reactive Systems.
David Harel
Rami Marelly
Assaf Marron
Smadar Szekely
Published in:
IEEE Des. Test (2021)
Keyphrases
</>
reactive systems
model checking
temporal logic
petri net
information flow
formal methods
control flow
real time systems
state machines
real world
case study
integrating multiple
training set
artificial intelligence
test set
multi agent
real time