Login / Signup
Challenges in Modeling and Unmodeling Emergence, Rule Composition, and Networked Interactions in Complex Reactive Systems.
Assaf Marron
Irun R. Cohen
Guy Frankel
David Harel
Smadar Szekely
Published in:
MODELSWARD (2023)
Keyphrases
</>
reactive systems
real world
high level
model checking
lessons learned
temporal logic
databases
relational databases
complex systems
association rules
building blocks
information flow
dynamic bayesian networks
formal methods
real time systems