Search results
Lecture Notes in Computer Science > Formal Techniques for Distributed Systems > Reasoning about Distributed Systems > 201-215
Lecture Notes in Computer Science > Model Driven Engineering Languages and Systems > Domain-Specific Languages > 438-452
Lecture Notes in Computer Science > Hybrid Systems: Computation and Control > Regular Papers > 473-486
Lecture Notes in Computer Science > Advances in Computation and Intelligence > Section IV: Representations and Operators > 228-237
Lecture Notes in Computer Science > Foundations of Software Technology and Theoretical Computer Science > 54-56
Lecture Notes in Computer Science > Ubiquitous Intelligence and Computing > Cloud and Services Computing > 224-236
Lecture Notes in Computer Science > Detection of Intrusions and Malware, and Vulnerability Assessment > Misuse Detection > 174-187
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Verification of Critical Systems > 535-549
Lecture Notes in Computer Science > Engineering Distributed Objects > Architectural Reasoning > 116-128
Lecture Notes in Computer Science > Theory and Applications of Models of Computation > Contributed Lectures > 294-305
Lecture Notes in Computer Science > Embedded and Ubiquitous Computing – EUC 2005 > Testing and Verification > 395-404
Lecture Notes in Computer Science > Software Engineering and Formal Methods > Regular Papers > 106-121
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Regular Papers > 120-134