The integration of safety analysis and functional verification techniques for software safety arguments

Autor:	Atchison, B.
Databáze:	Networked Digital Library of Theses & Dissertations
Externí odkaz:	http://espace.library.uq.edu.au/view/UQ:106789 Zobrazit plný text záznamu