Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Lang, Fr��d��ric"'
Autor:
Lang, Fr��d��ric, Mateescu, Radu
Partial model checking was proposed by Andersen in 1995 to verify a temporal logic formula compositionally on a composition of processes. It consists in incrementally incorporating into the formula the behavioural information taken from one process -
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::10e98b7e10ef09c9ba4bd764f091cee1
