Analysing oscillatory trends of discrete-state stochastic processes through HASL statistical model checking - Archive ouverte HAL
Article Dans Une Revue International Journal on Software Tools for Technology Transfer Année : 2015

Analysing oscillatory trends of discrete-state stochastic processes through HASL statistical model checking

Paolo Ballarini
Mathématiques et Informatique pour la Complexité et les Systèmes
CV

Domaines

Théorie et langage formel [cs.FL] Modélisation et simulation Bio-Informatique, Biologie Systémique [q-bio.QM]
Fichier principal
Vignette du fichier
stttSMC13_PBal_CR_HAL.pdf (1.36 Mo) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Paolo Ballarini  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-01852397

Soumis le : mercredi 1 août 2018-15:11:57

Dernière modification le : jeudi 9 mars 2023-10:30:17

Archivage à long terme le : vendredi 2 novembre 2018-13:58:45

Télécharger pour visualiser

Dates et versions

hal-01852397 , version 1 (01-08-2018)

Identifiants

Citer

Paolo Ballarini. Analysing oscillatory trends of discrete-state stochastic processes through HASL statistical model checking. International Journal on Software Tools for Technology Transfer, 2015, ⟨10.1007/s10009-015-0370-5⟩. ⟨hal-01852397⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CENTRALESUPELEC MICS TDS-MACS UNIV-PARIS-SACLAY GS-ENGINEERING GS-COMPUTER-SCIENCE
38 Consultations
61 Téléchargements

Altmetric

Partager

More