Model checking interrupt-dependent software

---

Autoria(s): Fidge, C.; Cook, P. J.

Contribuinte(s)	W. Huang Y. Kuo J. J. Chen
Data(s)	01/01/2005
Identificador	http://espace.library.uq.edu.au/view/UQ:102990
Idioma(s)	eng
Publicador	IEEE Computer Society
Palavras-Chave	#E1 #280302 Software Engineering #700102 Application tools and system utilities
Tipo	Conference Paper