Software safety verification in critical software intensive systems
By: door Patricia Rodriguez Dapena
Contributors: Technische Universiteit Eindhoven
Edition: 1. pr.
Series: Beta Research School for Operations Management and Logistics -- D-48; NUGI -- 684
Publisher: Universiteit Eindhoven
Published: 2002
Place of publication: Eindhoven
Language: eng
Notes: Thesis (doctoral)--Technische Universiteit Eindhoven, 2002.