Search results for: Ketil Stølen
Lecture Notes in Computer Science > Prospects for Hardware Foundations > Verification and Deductive Design > 390-420
Model-Driven Risk Analysis > Core Approach > 147-163
Lecture Notes in Computer Science > Formal Modeling and Analysis of Timed Systems > Logic and Specification > 32-48
Lecture Notes in Computer Science > Computer Safety, Reliability and Security > Dependability Assessment (Poster Session) > 94-105
Model-Driven Risk Analysis > Selected Issues > 297-317
Model-Driven Risk Analysis > Core Approach > 111-124
Lecture Notes in Computer Science > Scenarios: Models, Transformations and Tools > Scenarios: Models, Transformations and Tools > 1-25
Lecture Notes in Computer Science > Model Driven Engineering Languages and Systems > Risk, Trust and Dependability > 574-588
Lecture Notes in Computer Science > Engineering Secure Software and Systems > Session 6. Secure System and Software Development II > 231-240
Lecture Notes in Computer Science > Critical Information Infrastructures Security > Session 4: Code of Practice and Metrics > 135-148
Lecture Notes in Computer Science > Foundations of Security Analysis and Design VI > Foundations of Security Analysis and Design > 231-274
Lecture Notes in Computer Science > Formal Methods for Open Object-Based Distributed Systems > Regular Papers > 138-155
Lecture Notes in Computer Science > «UML» 2003 - The Unified Modeling Language. Modeling Languages and Applications > Methodology > 388-402