Login / Signup
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