Temporal Logic Specifications for Control System Design in Automotive Systems: Difference between revisions
From Murray Wiki
Jump to navigationJump to search
m (Murray moved page DENSO CPM to Temporal Logic Specifications for Control System Design in Automotive Systems) |
No edit summary |
||
Line 3: | Line 3: | ||
{{Project | {{Project | ||
|Title=Temporal Logic Specifications for Control System Design in Automotive Systems | |Title=Temporal Logic Specifications for Control System Design in Automotive Systems | ||
|Agency=DENSO | |||
|Start date=1 Jul 2016 | |Start date=1 Jul 2016 | ||
|End date=30 Mar 2017 | |End date=30 Mar 2017 |
Revision as of 12:13, 11 June 2016
Project description
|
|
|