Search results
Lecture Notes in Computer Science > Hardware and Software: Verification and Testing > Research Papers > 57-70
NATO Science for Peace and Security Series C: Environmental Security > Security and Reliability of Damaged Structures and Defective Materials > 209-230
Lecture Notes in Computer Science > Formal Techniques for Networked and Distributed Systems – FORTE 2007 > Technical Session 6. Model Checking > 263-279
Lecture Notes in Computer Science > Model Driven Engineering Languages and Systems > Verification and Validation 2 > 638-652
Lecture Notes in Computer Science > New Modeling Concepts for Today’s Software Processes > Experience Reports and Empirical Studies > 357-368
Lecture Notes in Computer Science > Service-Oriented Computing – ICSOC 2008 Workshops > Fourth International Workshop on Engineering Service-Oriented Applications (WESOA 2008) > 66-78
Lecture Notes in Computer Science > Ada in Europe > 406-418
Lecture Notes in Computer Science > Testing of Communicating Systems > Automata-Based Methodology > 211-225
Lecture Notes in Computer Science > Conceptual Modeling: Foundations and Applications > Software and Requirements Engineering > 335-362
Lecture Notes in Computer Science > Models in Software Engineering > W8 – Integrating MDA and V&V > 193-204
Lecture Notes in Computer Science > Cryptographic Hardware and Embedded Systems > Invited Talk > 80-93
Lecture Notes in Computer Science > Practical Aspects of Declarative Languages > Language Extensions and Tools > 160-174