Search results for: Achim D. Brucker
Journal of Software: Evolution and Process > 30 > 9 > n/a - n/a
Software: Practice and Experience > 47 > 12 > 1923 - 1943
Lecture Notes in Computer Science > Testing of Software and Communicating Systems > Network Testing > 103-118
Data Science and Engineering > 2017 > 2 > 2 > 107-124
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 > Formal Aspects in Security and Trust > Session 7. Protocols 3 > 248-262
Lecture Notes in Computer Science > Formal Approaches to Software Testing > Symbolic Test Generation > 16-32
Lecture Notes in Computer Science > Fundamental Approaches to Software Engineering > Tools (Demos) and Program Analysis > 417-420
Lecture Notes in Computer Science > Formal Approaches to Software Testing > Proceedings FATES 2005 > 87-102
Lecture Notes in Computer Science > Models in Software Engineering > Workshop – OCL and Textual Modelling > 334-348
Lecture Notes in Computer Science > Engineering Secure Software and Systems > Session 4. Policy Verification and Enforcement II > 157-165
Lecture Notes in Computer Science > Information Security Theory and Practices. Security and Privacy of Pervasive Systems and Smart Devices > Algorithms > 237-244