Search - Archive ouverte HAL Access content directly

Filter your results

3 Results
Structure: Internal structure identifier : 405336
Image document

Statistical Model-Checking for Autonomous Vehicle Safety Validation

Benoît Barbot , Béatrice Bérard , Yann Duplouy , Serge Haddad
Conference SIA Simulation Numérique, Société des Ingénieurs de l'Automobile, Mar 2017, Montigny-le-Bretonneux, France
Conference papers hal-01491064v1
Image document

Une sémantique formelle pour les modèles Simulink

Béatrice Bérard , Yann Duplouy , Serge Haddad
École d'été Temps Réel 2017, Aug 2017, Paris, France
Conference papers hal-01578297v1
Image document

Towards Semantic-Aware Collaborations in Systems Engineering

Laurent Wouters , Stephen Creff , Emma Effa Bella , Ali Koudri
24th Asia-Pacific Software Engineering Conference (APSEC), Dec 2017, Nanjing, China
Conference papers hal-01674924v1