par Brice, Léonard
;Bruss, F Thomas
;Majumdar, Anirban
;Raskin, Jean-François 
Référence Principles of Verification: Cycling the Probabilistic Landscape, Springer, Vol. 15261, page (18-45)
Publication Publié, 2024-11-13




Référence Principles of Verification: Cycling the Probabilistic Landscape, Springer, Vol. 15261, page (18-45)
Publication Publié, 2024-11-13
Publication dans des actes
Titre: |
|
Auteur: | Brice, Léonard; Bruss, F Thomas; Majumdar, Anirban; Raskin, Jean-François |
Informations sur la publication: | Principles of Verification: Cycling the Probabilistic Landscape, Springer, Vol. 15261, page (18-45) |
Statut de publication: | Publié, 2024-11-13 |
series: | Lecture Notes in Computer Science |
Sujet CREF: | Informatique générale |
Informatique mathématique | |
Probabilités | |
Langue: | Anglais |