Error in query: No results found.
The path you have selected does not seem valid. Please return to the previous page and verify the information provided.
Algorithmic Analysis of Continuous and Hybrid Systems
Romain Testylier, Thao Dang:
NLTOOLBOX: A Library for Reachability Computation of Nonlinear Dynamical Systems
Erwan Jahier, Simplice Djoko-Djoko, Chaouki Maiza, Eric Lafont:
Environment-Model Based Testing of Control Systems: Case Studies
Self-Stabilizing Algorithms for Constructing Distributed Spanning Structures
Jean-Francois Kempf, Olivier Lebeltel, Oded Maler:
Formal and Informal Methods for Multi-Core Design Space Exploration
Marie-Laure Potet, Laurent Mounier, Maxime Puys, Louis Dureuil:
Lazart: a symbolic approach for evaluation the robustness of secured codes against control flow fault injection
Registering with the site
You can take an active part in this website and write your own articles by registering below. You will then receive immediately an email giving you an access code to the private area of the site.
How to reach us
Jobs and Internships
Workshops and Conferences
Site created with SPIP 2.1.25
Logged in visitors: