Browse wiki

From MurrayWiki
Jump to: navigation, search
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
 

 

Enter the name of the page to start browsing from.
Retrieved from "https://www.cds.caltech.edu/~murray/wiki/index.php?title=Special:Browse/Synthesizing-20flight-20software-20(FSW)-20discrete-20controllers-20from-20formal-20specifications"

Navigation menu

Views

  • Special page

Personal tools

  • Log in

Navigation

  • Main Page
  • Courses
  • Events
  • Preprints
  • Projects

 

Tools

  • Special pages
  • Printable version
Powered by MediaWiki Powered by Semantic MediaWiki
  • Privacy policy
  • About MurrayWiki
  • Disclaimers