Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Alexander, Strakh"'
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.
Publikováno v:
Perspectives of Systems Informatics ISBN: 9783642297083
Ershov Memorial Conference
Ershov Memorial Conference
The paper presents a twofold verification system that aimes to be an open platform for experimentation with various verification techniques as well as an industrial-ready domain specific verification tool for Linux device drivers. We describe the arc
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::32542c4895d56c9496904b999404ce17
https://doi.org/10.1007/978-3-642-29709-0_17
https://doi.org/10.1007/978-3-642-29709-0_17
