Pradyumna Mishra
EMSOFT 2001: 1st International Workshop on Embedded Software
Hierarchical Hybrid Modeling of Embedded Systems
Rajeev Alur,
Thao Dang,
Joel M. Esposito,
Rafael Fierro,
Yerang Hur,
Franjo Ivancic,
Vijay Kumar,
Insup Lee,
Pradyumna Mishra,
George J. Pappas, and
Oleg Sokolsky