par Filiot, Emmanuel
;Mazzocchi, Nicolas
;Raskin, Jean-François
;Sankaranarayanan, Sriram;Trivedi, Ashutosh
Référence Leibniz international proceedings in informatics, 171, page (171-1721), 17
Publication Publié, 2020-08-01



Référence Leibniz international proceedings in informatics, 171, page (171-1721), 17
Publication Publié, 2020-08-01
Article révisé par les pairs
Titre: |
|
Auteur: | Filiot, Emmanuel; Mazzocchi, Nicolas; Raskin, Jean-François; Sankaranarayanan, Sriram; Trivedi, Ashutosh |
Informations sur la publication: | Leibniz international proceedings in informatics, 171, page (171-1721), 17 |
Statut de publication: | Publié, 2020-08-01 |
Sujet CREF: | Généralités |
Mots-clés: | Fault-tolerance |
Quantitative verification | |
Weighted transducers | |
Note générale: | SCOPUS: cp.p |
Langue: | Anglais |
Identificateurs: | urn:issn:1868-8969 |
info:doi/10.4230/LIPIcs.CONCUR.2020.17 | |
info:scp/85091587138 |