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
;Mazzocchi, Nicolas ;Raskin, Jean-François ;Sankaranarayanan, Sriram;Trivedi, AshutoshRé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: | Informatique générale |
| 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 |
