Linköping University
:
Students
Alumni
Trade and Industry/Society
Internal
Search
About
Research
People
Publications
Teaching
Student theses
Positions open
Internal
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-)