Back to University of Twente portal
| author: | Ramesh Krishnamurthy |
| title: | Formal verification of a distributed control software implemented in the ADA programming language through model checking |
| company: | TNO |
| keywords: | ada |
| topics: | Logics and semantics |
| committee: |
Yonghu Li
, Jacques Verriet , Raúl Monti , Marieke Huisman |
| started: | March 2020 |
