Search results for: Rance Cleaveland
Lecture Notes in Computer Science > Model-Driven Development of Reliable Automotive Services > Quality Assurance > 84-97
Lecture Notes in Computer Science > FST TCS 2000: Foundations of Software Technology and Theoretical Computer Science > Contributions > 312-324
Lecture Notes in Computer Science > Distributed Computing and Internet Technology > Formal Methods > 482-493
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Performance and Mobility > 431-436
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > 107-126
Lecture Notes in Computer Science > Formal Methods for Industrial Critical Systems > Invited Presentations > 2-2
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Semantics and Compositional Verification > 480-495