Search results for: Thomas Santen
Lecture Notes in Computer Science > Integrated Formal Methods > Verification and Validation > 358-379
Lecture Notes in Computer Science > Computer Safety, Reliability and Security > Formal Methods I - Analysis and Specification > 16-31
Lecture Notes in Computer Science > KORSO: Methods, Languages, and Tools for the Construction of Correct Software > 221-238
Lecture Notes in Computer Science > ZUM ’98: The Z Formal Specification Notation > Z and HOL > 96-115
Lecture Notes in Computer Science > KORSO: Methods, Languages, and Tools for the Construction of Correct Software > 25-57
Lecture Notes in Computer Science > Perspectives of System Informatics > Documentation and Testing > 462-468
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Component Engineering and Software Architecture > 57-68
Lecture Notes in Computer Science > Architecting Systems with Trustworthy Components > Articles by Participants > 137-151
Lecture Notes in Computer Science > FME 2001: Formal Methods for Increasing Software Productivity > 20-42
Lecture Notes in Computer Science > Computer Safety, Reliability, and Security > Formal Approaches > 142-155