Search results for: Insup Lee
Lecture Notes in Computer Science > Hybrid Systems: Computation and Control > Regular Papers > 392-406
Lecture Notes in Computer Science > Software Technologies for Embedded and Ubiquitous Systems > 203-214
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Model Checking and Testing > 327-341
Lecture Notes in Computer Science > Model-Driven Development of Reliable Automotive Services > Model Transformations > 48-66
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Performance and Mobility > 409-424
Lecture Notes in Computer Science > Hybrid Systems: Computation and Control > Selected Presentations > 6-19
Lecture Notes in Computer Science > Hybrid Systems: Computation and Control > Regular Papers > 432-447
Lecture Notes in Computer Science > Trust and Trustworthy Computing > Session 8: Trust Issues in Routing > 262-276
Lecture Notes in Computer Science