C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Codesign of dependable systems: A component-based modeling language.
Marco Bozzano
Alessandro Cimatti
Marco Roveri
Joost-Pieter Katoen
Viet Yen Nguyen
Thomas Noll
Published in:
MEMOCODE (2009)
Keyphrases
</>
modeling language
computer systems
database
artificial intelligence
case study
high level
reinforcement learning
multi agent
information technology
distributed systems
business process
educational modeling languages