Analysing oscillatory trends of discrete-state stochastic processes through HASL statistical model checking - Archive ouverte HAL Accéder directement au contenu
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

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)
Loading...

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⟩
28 Consultations
42 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More