Search alternatives:
"formal method" » "formal methods"
Cover Image
Read Now

1
by Garoche, Pierre-Loïc
Published 2019
Princeton University Press
Table of Contents: “.... Critical Embedded Software: Control Software Development and V&V -- 2. Formal Methods: Different Approaches...”