Expressiveness and Conciseness of Timed Automata for the Verification of Stochastic Models - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2021

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

No file

Dates and versions

hal-03150821 , version 1 (24-02-2021)

Identifiers

  • HAL Id : hal-03150821 , version 1

Cite

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⟩
44 View
1 Download

Share

Gmail Mastodon Facebook X LinkedIn More