Browse wiki

From MurrayWiki
Jump to: navigation, search
Temporal Logic Specifications for Control System Design in Automotive Systems
Agency DENSO  +
End date 30 March 2020  +
ID DENSO CPM  +
Start date 1 July 2016  +
Has query
"Has query" is a predefined property that represents meta information (in form of a subobject) about individual queries.
 		Temporal Logic Specifications for Control System Design in Automotive Systems + , Temporal Logic Specifications for Control System Design in Automotive Systems + , Temporal Logic Specifications for Control System Design in Automotive Systems + , Temporal Logic Specifications for Control System Design in Automotive Systems +
Categories Completed projects , Project
Modification date
This property is a special property in this wiki.
 		22 April 2020 16:48:30  +
hide properties that link here 
Josefine Graebener + Current project
A modal interface contract theory for guarded input/output automata with an application in traffic system design + , Contracts of Reactivity + , Hiding variables when decomposing specifications into GR(1) contracts + , SRC TerraSwarm, DENSO CPM + , Towards Assume-Guarantee Profiles for Autonomous Vehicles + Funding
Ioannis Filippidis + , Tung Phan + Previous projects
DENSO CPM + 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/Temporal-20Logic-20Specifications-20for-20Control-20System-20Design-20in-20Automotive-20Systems"