Browsing by Author Bergue Alves,MCB
Showing results 1 to 1 of 1
Issue Date | Title | Author(s) |
---|---|---|
2016 | Formal Verification of a Space System's User Interface With the IVY Workbench | José Creissac Campos; Sousa,M; Bergue Alves,MCB; Michael Douglas Harrison |