DMCA

Generating Embedded Software from Hierarchical Hybrid Models (2003)

by Rajeev Alur , Franjo Ivančić , Jesung Kim , Insup Lee , Oleg Sokolsky
Citations:30 - 9 self