Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by IAIN D. CRAIG
Formal Techniques in the Development of Blackboard Systems
International Journal of Pattern Recognition and Artificial Intelligence
Computer Vision
Pattern Recognition
Artificial Intelligence
Software
Related publications
Applying Formal Techniques to the Design of Concurrent Systems.
Formal Techniques for Distributed Objects, Components, and Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
The Formal, Tool Supported Development of Real Time Systems
Formal Development of Distributed Enumeration Algorithms by Refinement-Based Techniques
Formal Development of Object-Based Systems in a Temporal Logic Setting
Software Development Techniques for Constructive Information Systems
Formal Methods in Systems Engineering
Descriptional Complexity of Formal Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Formal Verification of Hybrid Systems
