Pradyumna Mishra

Publication Activity (10 Years)

Years Active: 2001-2003
Publications (10 Years): 0

Publications

Rajeev Alur, Thao Dang, Joel M. Esposito, Yerang Hur, Franjo Ivancic, Vijay Kumar, Insup Lee, Pradyumna Mishra, George J. Pappas, Oleg Sokolsky
Hierarchical modeling and analysis of embedded systems. Proc. IEEE 91 (1) (2003)
Pradyumna Mishra, George J. Pappas
Flying hot potatoes [air traffic management]. ACC (2002)
Rajeev Alur, Thao Dang, Joel M. Esposito, Rafael Fierro, Yerang Hur, Franjo Ivancic, Vijay Kumar, Insup Lee, Pradyumna Mishra, George J. Pappas, Oleg Sokolsky
Hierarchical Hybrid Modeling of Embedded Systems. EMSOFT (2001)