Search results for: Maritta Heisel
Reliability Engineering & System Safety > 2017 > 158 > C > 172-184
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Applications of Formal Methods > 253-269
Lecture Notes in Computer Science > Computer Safety, Reliability and Security > Formal Methods I - Analysis and Specification > 16-31
Lecture Notes in Computer Science > Fundamental Approaches to Software Engineering > Patterns > 294-308
Lecture Notes in Computer Science > Conceptual Modeling — ER ’99 > Session 7 — Integrating Application Models > 309-325
Lecture Notes in Computer Science > Emerging Trends in Information and Communication Security > Security Engineering > 238-253
Lecture Notes in Computer Science > Software Architecture > Requirements and Software Architectures > 17-25
Lecture Notes in Computer Science > Fundamental Approaches to Software Engineering > Software Development for QoS > 232-246
Lecture Notes in Computer Science > Computer Safety, Reliability, and Security > Dependability > 311-325
Lecture Notes in Computer Science > KORSO: Methods, Languages, and Tools for the Construction of Correct Software > 25-57
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Component Engineering and Software Architecture > 57-68