Towards an Optimal Generation of Zones Graph Relating Timed Bisimulation Relation and Distribution

Autor: Saidouni Djamel Eddine, Kitouni Ilham, Matmat Riadh

Publikováno v: International Journal of Distributed Systems and Technologies. 7:21-41

The timed automata are extensively used in different fields of formal validation in particular the model checking one. In this paper the authors are interested by a class of TA called durational actions timed automata (daTA) and the zones graph which

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::1b152d5962da803dcb802a7e4b6476d6
https://doi.org/10.4018/ijdst.2016070102

Timed Automata with Action Durations – From Theory to Implementation.

Autor: Guellati, Souad, Kitouni, Ilham, Matmat, Riadh, Saidouni, Djamel-Eddine

Publikováno v: Information & Software Technologies: 20th International Conference, ICIST 2014, Druskininkai, Lithuania, October 9-10, 2014. Proceedings; 2014, p94-109, 16p