Original language | English |
---|---|
Title of host publication | Communicating Embedded Systems for Computer Science |
Editors | Olivier H. Roux, Claude Jard |
Publisher | Wiley |
Publication date | Oct 2009 |
Pages | 165-225 |
ISBN (Print) | 978-184821143-8, 1848211430 |
Publication status | Published - Oct 2009 |
Tools for Model-Checking Timed Systems
Alexandre David, Jacob Illum Rasmussen, Kim Guldstrand Larsen, Gerd Behrmann, Peter Bulychev, Joakim Byg, Thomas Chatain, Paul Pettersson, Jiri Srba, Wang Yi, Kenneth Yrke Jørgensen, Didier Lime, Morgan Magnin, Olivier H. Roux, Louis-Marie Traonouez
Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review