Diagnosing timed automata using timed markings.
Saved in:
| Title: | Diagnosing timed automata using timed markings. |
|---|---|
| Authors: | Bouyer, Patricia1, Henry, Léo2, Jaziri, Samy1, Jéron, Thierry2, Markey, Nicolas2, nmarkey+ocs@irisa.fr |
| Source: | International Journal on Software Tools for Technology Transfer; Apr2021, Vol. 23 Issue 2, p229-253, 25p |
| Database: | Applied Science & Technology Source |
| ISSN: | 14332779 |
|---|---|
| DOI: | 10.1007/s10009-021-00606-2 |
