Simin Nadjm-Tehrani, Jan-Erik Strömberg. Formal Verification of Dynamic Properties in an Aerospace Application. Formal Methods in System Design, 14(2):135-169, 1999.
No references recorded for this publication.
No citations of this publication recorded.