Template:Wtm11-infotech

From Murray Wiki
Revision as of 06:51, 6 December 2010 by Murray (talk | contribs) (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…')
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search

Formal synthesis of embedded control software for vehicle management systems, Tichakorn Wongpiromsarn, Ufuk Topcu and R. Murray. AIAA Infotech@Aerospace, 2011. Submitted