Skip to Main content Skip to Navigation
Conference papers

Expressiveness and Conciseness of Timed Automata for the Verification of Stochastic Models

Serge Haddad 1 Susanna Donatelli 2
1 MEXICO - Modeling and Exploitation of Interaction and Concurrency
Inria Saclay - Ile de France, LMF - Laboratoire Méthodes Formelles
2 Dipartimento di Informatica [Torino]
Document type :
Conference papers
Complete list of metadata
https://hal.inria.fr/hal-03150821
Contributor : Stefan Haar Connect in order to contact the contributor
Submitted on : Wednesday, February 24, 2021 - 10:35:42 AM
Last modification on : Monday, February 7, 2022 - 4:06:04 PM

Identifiers

  • HAL Id : hal-03150821, version 1

Collections

CNRS | INRIA | ENS-CACHAN | UNIV-PARIS-SACLAY | ENS-PARIS-SACLAY | GS-COMPUTER-SCIENCE | CENTRALESUPELEC | LMF | INRIA2

Citation

Serge Haddad, Susanna Donatelli. Expressiveness and Conciseness of Timed Automata for the Verification of Stochastic Models. LATA 2020 2021 - 14th et 15th International Conference on Language and Automata Theory and Applications, Sep 2021, Milan, Italy. ⟨hal-03150821⟩

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

31

 

Contact                    Legal Notice                    Personal Data