Towards Formal System Modeling: Making Explicit and Formal the Concurrent and Timed Operational Semantics to Better Understand Heterogeneous Models
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Loading...
Portail INRIA.HAL.SCIENCE Les publications, logiciels... des scientifiques Inria |
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Team Kairos : Connectez-vous pour contacter le contributeur
https://inria.hal.science/tel-02427962
Soumis le : samedi 4 janvier 2020-16:54:46
Dernière modification le : lundi 26 février 2024-11:22:13
Archivage à long terme le : lundi 6 avril 2020-19:38:56