Zobrazeno 1 - 10
of 96
pro vyhledávání: '"Saidouni Djamel Eddine"'
Testing is a validation activity used to check the system's correctness with respect to the specification. In this context,test based on refusals is studied in theory and tools are effectively constructed. This paper addresses,a formal testing based
Externí odkaz:
http://arxiv.org/abs/1211.2708
The test is one of the approaches commonly used for validating systems to ensure qualitative and quantitative implementation requirements. In this paper, we interest in formal testing using graph transformation, thus we propose an approach for transl
Externí odkaz:
http://arxiv.org/abs/1209.5257
Publikováno v:
Journal of Ambient Intelligence & Humanized Computing; Apr2024, Vol. 15 Issue 4, p2269-2276, 8p
Publikováno v:
In Procedia Computer Science 2017 113:41-48
Publikováno v:
Journal of Ambient Intelligence and Humanized Computing; November 2023, Vol. 14 Issue: 11 p15175-15204, 30p
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
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
https://doi.org/10.4018/ijdst.2016070102