Towards Formal System Modeling: Making Explicit and Formal the Concurrent and Timed Operational Semantics to Better Understand Heterogeneous Models - Archive ouverte HAL Access content directly
Habilitation À Diriger Des Recherches Year : 2019

Towards Formal System Modeling: Making Explicit and Formal the Concurrent and Timed Operational Semantics to Better Understand Heterogeneous Models

(1, 2, 3, 4)
1
2
3
4
Fichier principal
Vignette du fichier
HDR.pdf (11.59 Mo) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

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

Identifiers

  • HAL Id : tel-02427962 , version 1

Cite

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⟩
150 View
198 Download

Share

Gmail Facebook Twitter LinkedIn More