Verifying really complex systems: on earth and beyond.

Andreas Kuehlmann Anjan Bose David E. Corman Rob A. Rutenbar Robert M. Manning Anna Newman

Published in: DAC (2008)

Keyphrases

complex systems
dynamic systems
remote sensing
manufacturing systems
steady state simulation
multi agent systems
mathematical models
discrete event systems
physical systems
industrial systems
model checking
technical systems
agent based modeling
computational systems
emergent behavior
agent based modelling