Jump to Content

Hierarchical Hybrid Modeling of Embedded Systems

Rajeev Alur
Thao Dang
Joel M. Esposito
Rafael B. Fierro
Yerang Hur
Vijay Kumar
Insup Lee
Pradyumna Mishra
George J. Pappas
Oleg Sokolsky
EMSOFT (2001), pp. 14-31

Abstract

Research Areas