Modeling and verification method for an early evaluation of systems of systems interactions.

Ronan Baduel, Iulian Ober, Jean-Michel Bruel

Browse the full SAC paper archive.