Search results for: Eda Marchetti
Journal of Systems and Software > 2018 > 137 > C > 114-129
Software Quality Journal > 2018 > 26 > 4 > 1223-1256
Lecture Notes in Computer Science > Architecting Dependable Systems V > Part 3. Verification and Validation > 298-325
Lecture Notes in Computer Science > ≪UML≫ 2002 — The Unified Modeling Language > Methodology > 383-397
Lecture Notes in Computer Science > Computer Safety, Reliability and Security > Verification and Testing > 260-271
Information and Software Technology > 2015 > 58 > Complete > 355-372