Towards Formal System Modeling: Making Explicit and Formal the Concurrent and Timed Operational Semantics to Better Understand Heterogeneous Models - Laboratoire d'Informatique, Signaux et Systèmes de Sophia-Antipolis Accéder directement au contenu
Hdr Année : 2019

Dates et versions

tel-02427962 , version 1 (04-01-2020)

Identifiants

  • HAL Id : tel-02427962 , version 1

Citer

Julien Deantoni. Towards Formal System Modeling: Making Explicit and Formal the Concurrent and Timed Operational Semantics to Better Understand Heterogeneous Models. Embedded Systems. Université Côte d'Azur, CNRS, I3S, France, 2019. ⟨tel-02427962⟩
170 Consultations
224 Téléchargements

Partager

Gmail Facebook X LinkedIn More