Search results for: Harald Rueß
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > 118-133
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Regular Papers > 150-167
Lecture Notes in Computer Science > NASA Formal Methods > Tool Papers > 466-471
Lecture Notes in Computer Science > Computer Aided Verification > Extending Bounded Model Checking > 14-26
Communications in Computer and Information Science > Leveraging Applications of Formal Methods, Verification and Validation > Non-functional Requirements in Embedded Systems > 369-384