Browse wiki
From MurrayWiki
Correct-by-Construction Synthesis of Control Protocols for Aerospace Systems |
Agency | Boeing + |
---|---|
End date | 1 June 2016 + |
ID | Boeing + |
Start date | 1 January 2012 + |
Has query "Has query" is a predefined property that represents meta information (in form of a subobject) about individual queries.
|
Correct-by-Construction Synthesis of Control Protocols for Aerospace Systems + , Correct-by-Construction Synthesis of Control Protocols for Aerospace Systems + , Correct-by-Construction Synthesis of Control Protocols for Aerospace Systems + |
Categories | Completed projects |
Modification date This property is a special property in this wiki.
|
19 June 2016 15:08:26 + |
hide properties that link here |