Understanding System of Systems Development Using an Agent-based Wave Model Presenters Cihan H. Dagli, and Louis Pape Missouri University of Science and.
PAT 3: An Extensible Architecture for Building Multi-domain Model Checkers