Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Rich configurations"'
Autor:
Pessoa, Eduardo José Dias
Publikováno v:
Repositório Científico de Acesso Aberto de Portugal
Repositório Científico de Acesso Aberto de Portugal (RCAAP)
instacron:RCAAP
Repositório Científico de Acesso Aberto de Portugal (RCAAP)
instacron:RCAAP
Dissertação de mestrado em Engenharia Informática (área de especialização em Informática)
Model checking is a technique used to automatically verify a model which represents the specification of some system. To ensure the correctness of t
Model checking is a technique used to automatically verify a model which represents the specification of some system. To ensure the correctness of t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::d99f1c2a15fc84e7adc609b736936a4f
https://hdl.handle.net/1822/47746
https://hdl.handle.net/1822/47746
