Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Djamila Baroudi"'
Autor:
Djamila Baroudi, Safia Nait-Bahloul
Publikováno v:
International Journal of Software Innovation. 9:1-17
Dwyer et al. proposed qualitative specification patterns that enable the practitioners of model checking tools to write formal specifications mainly used for automatic model checking. Although this involves formalisms that are not always easy to hand
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0fe54c7fe8760a012ee5ad698b717bf9
https://doi.org/10.4018/ijsi.2021040101
https://doi.org/10.4018/ijsi.2021040101
