Skip to Main content Skip to Navigation
New interface


...
hal-01491064v1  Conference papers
Benoît BarbotBéatrice BérardYann DuplouySerge Haddad. Statistical Model-Checking for Autonomous Vehicle Safety Validation
Conference SIA Simulation Numérique, Société des Ingénieurs de l'Automobile, Mar 2017, Montigny-le-Bretonneux, France
...
hal-01578297v1  Conference papers
Béatrice BérardYann DuplouySerge Haddad. Une sémantique formelle pour les modèles Simulink
École d'été Temps Réel 2017, Aug 2017, Paris, France