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
- Automation: Flying High?
Seminars
New publications
- Recent Publications
- Guillaume Phavorin, Pascal Richard, Joël Goossens, Claire Maiza, Laurent George, Thomas Chapeaux: Online and offline scheduling with cache-related preemption delays
- Iulia Dragomir, Simon Iosti, Marius Bozga, Saddek Bensalem: Designing Systems with Detection and Reconfiguration Capabilities: A Formal Approach
- Alexey Bakhirkin, Thomas Ferrére, Dejan Nickovic, Oded Maler, Eugene Asarin: Online Timed Pattern Matching using Automata
- Jannik Dreier, Maxime Puys, Marie-Laure Potet, Pascal Lafourcade, Jean-Louis Roch: Formally and practically verifying flow properties in industrial systems
- Cristina Serban: Automated reasoning in separation logic with inductive definitions
- David Monniaux: Il faut se défier de la \guillemotleftpensée magique\guillemotright
