-
Formalism for the high-level design of hard real-time embedded systems
Real-time embedded systems are at the core of modern industrialized societies. They are a privileged target for the application of formal methods. The importance of... -
Modeling Synchronous Systems in BIP
A central idea in systems engineering is that complex systems are built by assembling com- ponents. Components have different characteristics, from a large variety of...
