Skip to Main content Skip to Navigation
Habilitation à diriger des recherches

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

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, October 19, 2020 - 11:12:37 AM
Long-term archiving on: : Monday, April 6, 2020 - 7:38:56 PM

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

102

Files downloads

396