System of Systems Design Verification: Problematic, Trends and Opportunities.

Mustapha Bilal Nicolas Daclin Vincent Chapurlat

Published in: I-ESA (2014)

Keyphrases

building blocks
design issues
distributed systems
formal methods
user interface
management system
computer systems
learning systems
design criteria
engineering design
case study
embedded systems
hardware designs
real time
interactive systems
computing systems
model checking
complex systems
design process