DMCA

Formal Verification of Dynamic Properties in an Aerospace Application (1999)

Cached

Download Links

by Simin Nadjm-tehrani , Jan-Erik Strömberg
Venue:Formal Methods in System Design
Citations:8 - 1 self