Search results for: Alan Wassyng
Journal of Software: Evolution and Process > 33 > 4 > n/a - n/a
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
Science of Computer Programming > 2015 > 113 > P2 > 149-190
IEEE Design & Test > 2015 > 32 > 5 > 45 - 55
Electronic Notes in Theoretical Computer Science > 2009 > 238 > 4 > 11-17