Google Research

Hierarchical modeling and analysis of embedded systems

Rajeev Alur
Thao Dang
Joel M. Esposito
Yerang Hur
Franjo Ivancic
Vijay Kumar
Insup Lee
Pradyumna Mishra
George J. Pappas
Oleg Sokolsky
Proceedings of the IEEE, 91 (2003), pp. 11-28
Google Scholar

Abstract

Research Areas

×