Browse wiki
From MurrayWiki
| Synthesizing flight software (FSW) discrete controllers from formal specifications |
| Agency | JPL + |
|---|---|
| End date | 31 December 2017 + |
| Grant number | IAMS100322 + |
| ID | JPL CIF17 + |
| Start date | 1 January 2017 + |
| Has query "Has query" is a predefined property that represents meta information (in form of a subobject) about individual queries.
|
Synthesizing flight software (FSW) discrete controllers from formal specifications + , Synthesizing flight software (FSW) discrete controllers from formal specifications + , Synthesizing flight software (FSW) discrete controllers from formal specifications + , Synthesizing flight software (FSW) discrete controllers from formal specifications + |
| Categories | Completed projects , Project |
| Modification date This property is a special property in this wiki.
|
22 December 2017 06:39:31 + |
| hide properties that link here |
| Jonathan Feldstein + , Sofie Haesaert + | Previous projects |
|---|---|
| JPL CIF17 + , JPL FSW + | redirect page |
