Error 404
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.
Select
previous page
Search
Home page
Site Map
New publications
Recent Publications
Carole Delporte-Gallet, Stéphane Devismes, Hugues Fauconnier:
Approximation of $\delta$-timeliness
Saddek Bensalem, Marius Bozga, Thanh-Hung Nguyen, Joseph Sifakis:
Compositional Verification for Component-based Systems and Application
Alexandre Donzé, Gilles Clermont, Christopher James Langmead, Axel Legay:
Parameter Synthesis in Nonlinear Dynamical Systems: Application to Systems Biology
Jobs
Jobs
Engineer position in the Synchrone group (from September 2010)
Post-Doc Positions in the timed and hybrid systems group
Navigation
Sections
Teams
Synchrone
DCS
Tempo
Verimag
Presentation
Organisation chart
People
Documents
How to reach us
Jobs and training courses
Dissemination
Partners
Projects
Seminars
Tools
Workshops and Conferences
Publications
Site Map
Search:
Contact
|
Site Map
|
Site created with SPIP 2.1.1
+
AHUNTSIC
[CC License]
Logged in visitors:
5
; visits:
53231
English
Français