Search results for: Insup Lee
Metals and Materials International > 2017 > 23 > 6 > 1112-1120
Lecture Notes in Computer Science > Computational Science and Its Applications – ICCSA 2005 > Information Systems and Information Technologies (ISIT) Workshop > 156-165
Lecture Notes in Computer Science
Lecture Notes in Computer Science > CONCUR '90 Theories of Concurrency: Unification and Extension > 263-277
Lecture Notes in Computer Science > Radical Innovations of Software and Systems Engineering in the Future > 234-248
Lecture Notes in Computer Science > Automotive Software – Connected Services in Mobile Networks > 43-56
Lecture Notes in Computer Science > Hybrid Systems: Computation and Control > Regular Papers > 329-342
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Quantitative Techniques > 426-440
Lecture Notes in Computer Science > CONCUR'93 > 417-431
Lecture Notes in Computer Science > Leveraging Applications of Formal Methods, Verification, and Validation > Certification of Software-Driven Medical Devices > 343-356
Lecture Notes in Computer Science > Runtime Verification > Core Runtime Verification Papers > 164-175