Thao Dang and Tarik Nahhal
Randomized simulation of Hybrid Systems (2006)
Randomized simulation of Hybrid Systems (2006)
TR-2006-11.pdf
Keywords: Hybrid systems, validation, coverage
Abstract:
Home > Verimag > Publications
Technical Reports
TR-2006-11.pdf
Keywords: Hybrid systems, validation, coverage
Abstract:
Browsing
News
- NEWS
- Cybersécurité, sûreté et programmation Poste de Professeur⋅e des Universités Verimag/UGA
- Intelligence artificielle, sciences du logiciel, méthodes formelles Poste de Professeur⋅e des Universités Verimag/Grenoble-INP
Seminars
New publications
- Some Recent Publications
- Karine Altisen, Marius Bozga: Revisited Convergence of a Self-stabilizing BFS Spanning Tree Algorithm
- Iulia Dragomir, Carlos Redondo, Tiago Jorge, Laura Gouveia, Iulian Ober, Marius Bozga, Maxime Perrotin: Specification and model-checking of space systems in the TASTE toolset
- Marius Bozga, Radu Iosif, Arnaud Sangnier, Neven Villani: Counting Abstraction and Decidability for the Verification of Structured Parameterized Networks
- Erwan Jahier, Karine Altisen, Stéphane Devismes, Gabriel Baiocchi Sant'anna: Model checking of distributed algorithms using synchronous programs
