• Citer

Sound Formal Verification of Linux’s USB BP Keyboard Driver

par Penninckx, Willem;Mühlberg, Jan Tobias ;Smans, Jan;Jacobs, Bart;Piessens, Frank
Référence 4th International Symposium, NFM 2012(April 3-5, 2012: Norfolk, VA, USA), NASA Formal Methods, Lecture notes in computer science (7226), page (210–215)
Publication Publié, 2012

Publication dans des actes

• Détails
• Contenu

Titre:	Sound Formal Verification of Linux’s USB BP Keyboard Driver
Auteur:	Penninckx, Willem; Mühlberg, Jan Tobias; Smans, Jan; Jacobs, Bart; Piessens, Frank
Informations sur la publication:	4th International Symposium, NFM 2012(April 3-5, 2012: Norfolk, VA, USA), NASA Formal Methods, Lecture notes in computer science (7226), page (210–215)
Statut de publication:	Publié, 2012
Sujet CREF:	Informatique générale
Langue:	Anglais
Identificateurs:	urn:issn:0302-9743
	info:doi/10.1007/978-3-642-28891-3_21
	9783642288906