Search results for: Jan Jurjens
Lecture Notes in Computer Science > FME 2001: Formal Methods for Increasing Software Productivity > 135-152
ISSE 2010 Securing Electronic Business Processes > Technical and Economical Aspects of Cloud Security > 91-100
Lecture Notes in Computer Science > Information Assurance in Computer Networks > Network Security Systems: Foundations, Models, and Architectures > 28-38
Lecture Notes in Computer Science > Computer Safety, Reliability, and Security > Security and Formal Methods > 116-129
Lecture Notes in Computer Science > Towards a Service-Based Internet > Security, Privacy and Trust > 134-143
Lecture Notes in Computer Science > Advanced Information Systems Engineering > Goal-Oriented Requirements Engineering > 231-245
Lecture Notes in Computer Science > Requirements Engineering: Foundation for Software Quality > Session 1: Security and Sustainability > 4-18
Lecture Notes in Computer Science > Secure Data Management > Data Security in Open Environments > 101-112
Lecture Notes in Computer Science > Advanced Information Systems Engineering > Session 8: Model Transformation 2 > 367-382
Lecture Notes in Computer Science > Dependable Computing - EDCC 5 > Session 6B: Reliability Engineering and Testing > 435-452
Lecture Notes in Computer Science > FM 2006: Formal Methods > Industry Day: Abstracts of Invited Talks > 600-606
Lecture Notes in Computer Science > «UML» 2004 — The Unified Modeling Language. Modeling Languages and Applications > Security > 365-379