Browse wiki
From MurrayWiki
| Sofie Haesaert |
| Current position | Alumni + |
|---|---|
| Department | CMS + |
| First name | Sofie + |
| Last name | Haesaert + |
| Previous positions | Postdoc + |
| Previous projects | Synthesizing flight software (FSW) discrete controllers from formal specifications + , Safety-Critical Autonomy and Verification for Space Missions + |
| Categories | Group member |
| Modification date This property is a special property in this wiki.
|
2 January 2019 05:25:39 + |
| hide properties that link here |
| No properties link to this page. |
