Search results for: Maria Sorea
Lecture Notes in Computer Science > Architecting Dependable Systems IV > Architecting Distributed Systems > 316-336
Lecture Notes in Computer Science > Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems > Regular Papers > 363-378
Lecture Notes in Computer Science > Computer Aided Verification > Extending Bounded Model Checking > 14-26
Lecture Notes in Computer Science > Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems > Regular Papers > 199-214
Communications in Computer and Information Science > Leveraging Applications of Formal Methods, Verification and Validation > Non-functional Requirements in Embedded Systems > 369-384
Electronic Notes in Theoretical Computer Science > 2003 > 68 > 5 > 1-19
Electronic Notes in Theoretical Computer Science > 2002 > 65 > 6 > 1-20