Template:Wtm11-infotech: Difference between revisions
From Murray Wiki
Jump to navigationJump to search
(Created page with '{{conference paper| | title = Formal synthesis of embedded control software for vehicle management systems | author = Tichakorn Wongpiromsarn, Ufuk Topcu and R. Murray | conferen…') |
No edit summary |
||
| Line 4: | Line 4: | ||
| conference = AIAA Infotech@Aerospace | | conference = AIAA Infotech@Aerospace | ||
| year = 2011 | | year = 2011 | ||
| url = http://www.cds.caltech.edu/~utopcu/images//a/aa/WTM-infotech11F.pdf | | url = http://www.cds.caltech.edu/~utopcu/images//a/aa/WTM-infotech11F.pdf | ||
}} | }} | ||
Latest revision as of 16:00, 17 June 2011
Formal synthesis of embedded control software for vehicle management systems, Tichakorn Wongpiromsarn, Ufuk Topcu and R. Murray. AIAA Infotech@Aerospace, 2011.
