DMCA

Hybrid theorem proving of aerospace systems: Applications and challenges

by Khalil Ghorbal , Jean-Baptiste Jeannin , Erik Zawadzki , André Platzer , Geoffrey J Gordon
Venue:Journal of Aerospace Information Systems
Citations:2 - 2 self