-
Approximate Bisimulation: A Bridge Between Computer Science and Control Theory
International audience -
Compositional modeling of globally asynchronous locally synchronous (GALS) ar...
AADL is dedicated to high-level design and evaluation of embedded systems. It allows describing both system structure and functional aspects via a component-based... -
Verification method of interoperability for real time systems
Colloque avec actes et comité de lecture. internationale.
