Template:Wtm11-infotech

From MurrayWiki
Jump to: navigation, search

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