A Mission Definition, Verification and Validation Architecture.

Louis Viard Laurent Ciarletta Pierre-Etienne Moreau

Published in: FM Workshops (1) (2019)

Keyphrases

model checking
distributed architecture
real time
conceptual model
data sets
metadata
cooperative
multi agent systems
software architecture
reference model
loosely coupled
formal verification
hardware architecture