Search results for: Marina Egea
Software & Systems Modeling > 2019 > 18 > 1 > 769-791
Lecture Notes in Computer Science > Algebraic Methodology and Software Technology > System Descriptions > 368-373
Lecture Notes in Computer Science > Model Driven Engineering Languages and Systems > Model Analysis > 420-435
Lecture Notes in Computer Science > Foundations of Security Analysis and Design VI > Foundations of Security Analysis and Design > 101-124
Lecture Notes in Computer Science > Engineering Secure Software and Systems > Session 6. Secure System and Software Development II > 201-217
IEEE Transactions on Software Engineering > 2014 > 40 > 4 > 324 - 337
Innovations in Systems and Software Engineering > 2010 > 6 > 1-2 > 73-81
Information and Software Technology > 2009 > 51 > 5 > 815-831