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

Author Index.

Publikováno v: 2014 International Conference on Cyber-Enabled Distributed Computing & Knowledge Discovery; 2014, p483-486, 4p

Information and Software Technologies : 20th International Conference, ICIST 2014, Druskininkai, Lithuania, October 9-10, 2014, Proceedings

Autor: Giedre Dregvaite, Robertas Damasevicius

This book constitutes the refereed proceedings of the 20th International Conference on Information and Software Technologies, ICIST 2014, held in Druskininkai, Lithuania, in October 2014. The 34 papers presented were carefully reviewed and selected f