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

Julien Deantoni 1, 2, 3, 4
Complete list of metadatas

Cited literature [178 references]  Display  Hide  Download

https://hal.inria.fr/tel-02427962
Contributor : Team Kairos <>
Submitted on : Saturday, January 4, 2020 - 4:54:46 PM
Last modification on : Monday, January 13, 2020 - 1:12:25 AM

File

HDR.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : tel-02427962, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

32

Files downloads

87