Search results for: Alan Wassyng
International Journal of Information Security > 2019 > 18 > 6 > 677-700
Journal of Automated Reasoning > 2018 > 60 > 1 > 63-84
International Journal on Software Tools for Technology Transfer > 2018 > 20 > 1 > 95-117
Lecture Notes in Computer Science > Foundations of Computer Software. Future Trends and Techniques for Development > 250-274
Lecture Notes in Computer Science > Leveraging Applications of Formal Methods, Verification, and Validation > Certification of Software-Driven Medical Devices > 293-295
Lecture Notes in Computer Science > Formal Methods for Industrial Critical Systems > Research Papers > 119-134
Lecture Notes in Computer Science > Fundamental Approaches to Software Engineering > Modeling > 155-170
Lecture Notes in Computer Science > Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems > 206-227
Lecture Notes in Computer Science > FME 2003: Formal Methods > I-Day > 133-153
International Journal on Software Tools for Technology Transfer > 2006 > 8 > 4-5 > 337-354