Expressiveness and Conciseness of Timed Automata for the Verification of Stochastic Models - INRIA - Institut National de Recherche en Informatique et en Automatique Accéder directement au contenu
Communication Dans Un Congrès Année : 2021

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

Serge Haddad
Modeling and Exploitation of Interaction and Concurrency
CV
Susanna Donatelli
  • Fonction : Auteur
  • PersonId : 944021
Dipartimento di Informatica [Torino]

Domaines

Autre [cs.OH] Automatique

Stefan Haar  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-03150821

Soumis le : mercredi 24 février 2021-10:35:42

Dernière modification le : mardi 9 janvier 2024-12:34:04

Fichier non déposé

Dates et versions

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

Identifiants

  • HAL Id : hal-03150821 , version 1

Citer

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS INRIA ENS-CACHAN CENTRALESUPELEC INRIA2 UNIV-PARIS-SACLAY ENS-PARIS-SACLAY GS-COMPUTER-SCIENCE LMF
41 Consultations
1 Téléchargements

Partager

Gmail Facebook X LinkedIn More