Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Windows kernel drivers"'
Autor:
Pavel Jezek, Tomas Matousek
Publikováno v:
Electronic Notes in Theoretical Computer Science. 203:55-69
This paper introduces a new object-oriented specification and modeling language called DeSpec. The language targets primarily model checking in the Windows NT kernel driver environment. It integrates the majority of Zing modeling language features an
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::45ec4008a5b1d1127deb9b9cb2cdbca7
https://doi.org/10.1016/j.entcs.2009.03.026
https://doi.org/10.1016/j.entcs.2009.03.026
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.