Iterative Specification as a Modeling and Simulation Formalism for I/O General Systems.

Alexandre Muzy Bernard P. Zeigler Franck Grammont

Published in: IEEE Syst. J. (2018)

Keyphrases

special case
management system
distributed systems
simulation tools
input output
formal logic
formal languages
artificial intelligence
reactive systems
agent based modeling
simulation model
provably correct
formal methods
mathematical models
complex systems
building blocks
computer systems
bayesian networks