Difference between revisions of "Temporal Logic Specifications for Control System Design in Automotive Systems"

From Murray Wiki
Jump to navigationJump to search
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



  • Agency: DENSO
  • Grant number:
  • Start date: 1 Jul 2016
  • End date: 30 Mar 2017
  • Support: 1 gradaute student + travel
  • Reporting: Quarterly reports