Search Results

AUTHOR:	`GUNNAR STALMARCK`
Found 1 entry

Integration of Formal Methods into System Safety and Reliability Analysis
Ove Akerlund, Simin Nadjm-Tehrani, Gunnar Stalmarck
17th International Systems Safety Conference, ISSC'99, Florida, USA, August 1999, pages 326-336

( ! ) perl script by Giovanni Squillero with modifications from Gert Jervan (v3.1, p5.2, September-2002-)