Hybrid Systems and Event-B: A Formal Approach to Signalised Left-Turn Assist

Hybrid systems represent a major part of nowadays's technology. They are present under many forms and in many safety-critical applications. Hence, the question of guaranteeing such systems' behaviour is a key issue that must be addressed.

Domaines

Informatique [cs]

Documentation IRIT : Connectez-vous pour contacter le contributeur

https://hal.science/hal-02983162

Soumis le : jeudi 29 octobre 2020-14:06:10

Dernière modification le : lundi 20 novembre 2023-11:44:22

Dates et versions

hal-02983162 , version 1 (29-10-2020)

Identifiants

HAL Id : hal-02983162 , version 1
DOI : 10.1007/978-3-030-02852-7_14

Citer

Guillaume Dupont, Yamine Aït-Ameur, Marc Pantel, Neeraj Kumar Singh. Hybrid Systems and Event-B: A Formal Approach to Signalised Left-Turn Assist. MEDI 2018 - The 8h International Conference on Model and Data Engineering, Oct 2018, Marrakech, Morocco. pp.153--158, ⟨10.1007/978-3-030-02852-7_14⟩. ⟨hal-02983162⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-TLSE2 CNRS UT1-CAPITOLE IRIT IRIT-ACADIE ANR IRIT-FSL IRIT-INPT TOULOUSE-INP UNIV-UT3 UT3-TOULOUSEINP

51 Consultations

0 Téléchargements