View in EDS

Diagnosing timed automata using timed markings.

Saved in:
Bibliographic Details
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
Be the first to leave a comment!
You must be logged in first