DMCA

Formal Synthesis of Embedded Control Software: Application to Vehicle Management Systems

by T. Wongpiromsarn , U. Topcu , R. M. Murray
Citations:14 - 9 self