Login / Signup
The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems.
Marco Bozzano
Alessandro Cimatti
Joost-Pieter Katoen
Viet Yen Nguyen
Thomas Noll
Marco Roveri
Published in:
SAFECOMP (2009)
Keyphrases
</>
intelligent systems
wide range
management system
learning algorithm
complex systems
retrieval systems
data sets
databases
information retrieval
information systems
decision making
special case
building blocks
computing systems
systems require