Searching for authors named "Yerang Hur" – sorted by Relevance.
7 documents found, showing 1 through 7.
-
CHARON: a Language for Modular Specification of Hybrid Systems
- …: Yerang Hur (e-mail:yehur@(email omitted);) 0 1 Introduction A hybrid system typically consists of a…
- Cited by 2 (0 self) – Add To MetaCart
-
Modular specification of hybrid systems in charon
- …Modular Specification of Hybrid Systems in Charon Rajeev Alur, Radu Grosu, Yerang Hur, Vijay Kumar…
- Cited by 31 (13 self) – Add To MetaCart
-
Charon User Manual
- …Charon User Manual (Version 0.9) Rajeev Alur, Yerang Hur, Franjo Ivancic, Insup Lee, Oleg Sokolsky…
- Add To MetaCart
-
Modeling the Simplex Architecture using
- …Modeling the Simplex Architecture using Charon Rafael Fierro y, Yerang Hur z, Insup Lee z, Lui…
- Add To MetaCart
-
Hierarchical Modeling and Analysis of Embedded Systems
- … ESPOSITO, YERANG HUR, FRANJO IVANČIĆ, STUDENT MEMBER, IEEE, VIJAY KUMAR, INSUP LEE, FELLOW, IEEE, PRADYUMNA…
- Cited by 39 (12 self) – Add To MetaCart
-
A Framework and Architecture for Multi-Robot Coordination
- … Pappas Camillo J. Taylor GRASP Laboratory University of Pennsylvania Philadelphia, PA USA Yerang Hur…
- Cited by 1 (0 self) – Add To MetaCart
-
Worst Case Timing Analysis of RISC Processors: R3000/R3010 Case Study
- …Worst Case Timing Analysis of RISC Processors: R3000/R3010 Case Study Yerang Hur y Young Hyun…
- Add To MetaCart
Showing 1 through 7.
