Search results for: DeJiu Chen
Lecture Notes in Computer Science > Model-Based Engineering of Embedded Real-Time Systems > Approaches > 345-353
Lecture Notes in Computer Science > Architecting Dependable Systems IV > Architectural Description Languages > 39-65
Lecture Notes in Computer Science > Computer Safety, Reliability, and Security > Software Dependability > 72-85
The Journal of Systems & Software > 2013 > 86 > 10 > 2467-2487
2008 47th IEEE Conference on Decision and Control > 3737 - 3742