Yamine Aït Ameur, Frédéric Boniol, Virginie Wiels. Toward a wider use of formal methods for aerospace systems design and verification. STTT, 12(1):1-7, 2010. [doi]
No references recorded for this publication.
No citations of this publication recorded.