title = {Synchronous languages },
author = {Caspi, Paul and Raymond, Pascal and Tripakis, Stavros},
year = {2007},
booktitle = {Handbook of Real-Time And Embedded Systems},
publisher = {Chapman {\&} Hall},
team = {SYNC},
}
Home > Verimag > Publications
bibtex
@incollection{CRT7,
title = {Synchronous languages },
author = {Caspi, Paul and Raymond, Pascal and Tripakis, Stavros},
year = {2007},
booktitle = {Handbook of Real-Time And Embedded Systems},
publisher = {Chapman {\&} Hall},
team = {SYNC},
}
title = {Synchronous languages },
author = {Caspi, Paul and Raymond, Pascal and Tripakis, Stavros},
year = {2007},
booktitle = {Handbook of Real-Time And Embedded Systems},
publisher = {Chapman {\&} Hall},
team = {SYNC},
}
Browsing
News
- NEWS
- Karine Altisen, Stéphane Devismes, Swan Dubois, and Franck Petit New Book: Introduction to Distributed Self-Stabilizing Algorithms
- Conferences
- 30 September - 1 October 2019 AVoCS 2019
- Seminars
- 25 June 2019 Hernan Ponce de leon : Bmc with weak memory models
- 26 June 2019 Rany Kahil: Schedulability in mixed- criticality systems (Phd)
- 28 June 2019 Braham lotfi Mediouni: Modeling and analysis of stochastic real-time systems (Phd)
- 4 July 2019 Radu Iosif: Alternating automata modulo first order theories
Seminars
New publications
- Recent Publications
- Thibaut Balabonski, Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain: Manuel de savoir-prouver à l'usage des roboteux et des distributeux
- Karine Altisen, Stéphane Devismes, Anaïs Durand, Franck Petit: Gradual stabilization
- Thao Dang, Tommaso Dreossi, Eric Fanchon, Oded Maler, Carla Piazza, Alexandre Rocca: Set-Based Analysis for Biological Modelling
- Stéphane Devismes, Colette Johnen: Soyez efficace, rembobinez
- Cristian Ene, Laurent Mounier, Marie-Laure Potet: Output-Sensitive Information Flow Analysis
- Braham Lotfi Mediouni: Modeling and Analysis of Stochastic Real-Time Systems
