Search Results

AUTHOR:	`JAN-ERIK STROMBERG`
Found 1 entry

Formal Verification of Dynamic Properties in an Aerospace Application.
Simin Nadjm-Tehrani, Jan-Erik Stromberg
Formal Methods in System Design, Volume 14, number 2, March 1999, pages 135-169.

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