Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Maxime Routhier"'
Autor:
Richard St-Denis, Maxime Routhier
Publikováno v:
International Journal on Software Tools for Technology Transfer. 21:121-141
It becomes more and more evident today that SAT-solving approaches have the potential to verify properties and synthesize supervisors of controlled systems described with a high level of abstraction. Such approaches can be particularly appropriate wh
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a993fa9cf2b5963760b342351d86219b
https://doi.org/10.1007/s10009-017-0461-6
https://doi.org/10.1007/s10009-017-0461-6
