Browse wiki

From MurrayWiki
Jump to: navigation, search
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  +
show properties that link here 

 

Enter the name of the page to start browsing from.