Search results for: J Paul Gibson
Lecture Notes in Computer Science > B 2007: Formal Specification and Development in B > Invited Talks > 1-1
Lecture Notes in Computer Science > Architecting Critical Systems > Verification and Validation > 89-108
Communications in Computer and Information Science > Leveraging Applications of Formal Methods, Verification and Validation > Processes, Methods and Tools for Developing Educational Modules to Support Teaching and Technology Transfer > 460-472
Annals of Telecommunications > 2016 > 71 > 7-8 > 279-286
Innovations in Systems and Software Engineering > 2011 > 7 > 4 > 237-245
Natural Computing > 2008 > 7 > 1 > 95-108
Electronic Notes in Theoretical Computer Science > 2007 > 183 > Complete > 39-55