Difference between revisions of "Temporal Logic Specifications for Control System Design in Automotive Systems"
From Murray Wiki
Jump to navigationJump to search
(Created page with "{{Project |Title=Temporal Logic Specifications for Control System Design in Automotive Systems |Start date=1 Jul 2016 |End date=30 Mar 2017 |Support summary=1 gradaute student...") |
|||
| Line 1: | Line 1: | ||
Project description | |||
{{Project | {{Project | ||
|Title=Temporal Logic Specifications for Control System Design in Automotive Systems | |Title=Temporal Logic Specifications for Control System Design in Automotive Systems | ||
Revision as of 12:08, 11 June 2016
Project description
|
|
|
