Search results
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Object and Component Orientation > 440-459
Lecture Notes in Computer Science > Formal Methods for Industrial Critical Systems > Research Papers > 101-114
Lecture Notes in Computer Science > Model Driven Engineering Languages and Systems > Language Specification and Annotation > 378-392
Lecture Notes in Computer Science > Computer Security - ESORICS 2000 > Protocol Verification > 175-190
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Automated Analysis > 246-265
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Papers > 196-210
Lecture Notes in Computer Science > Computational Intelligence in Security for Information Systems > Chapter 4: Securing Software > 206-213
Lecture Notes in Computer Science > Principles of Distributed Systems > Brief Announcements II > 135-138
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Applications > 359-370
Statistics for Industry and Technology > Parametric and Semiparametric Models with Applications to Reliability, Survival Analysis, and Quality of Life > Regression Methods And Applications > 221-237