Search results for: Burkhart Wolff
Lecture Notes in Computer Science > Testing of Software and Communicating Systems > Network Testing > 103-118
Lecture Notes in Computer Science > Verified Software: Theories, Tools, Experiments > Methodology > 161-176
Lecture Notes in Computer Science > Theorem Proving in Higher Order Logics > Regular Papers > 99-114
Lecture Notes in Computer Science > Model Driven Engineering Languages and Systems > Security > 306-320
Lecture Notes in Computer Science > Tests and Proofs > 149-168
Lecture Notes in Computer Science > ≪UML≫ 2002 — The Unified Modeling Language > Real-Time & Formal Semantics > 196-211
Lecture Notes in Computer Science > Fundamental Approaches to Software Engineering > Conceptual Models, UML > 97-100
Lecture Notes in Computer Science > Fundamental Approaches to Software Engineering > Demonstrations > 367-370
Lecture Notes in Computer Science > KORSO: Methods, Languages, and Tools for the Construction of Correct Software > 25-57
Lecture Notes in Computer Science > Formal Approaches to Software Testing > Symbolic Test Generation > 16-32
Lecture Notes in Computer Science > Theorem Proving in Higher Order Logics > Regular Papers > 150-166
Lecture Notes in Computer Science > FM 2005: Formal Methods > Security > 269-285
Lecture Notes in Computer Science > Fundamental Approaches to Software Engineering > Tools (Demos) and Program Analysis > 417-420