Amanote Research

Amanote Research

    RegisterSign In

Formal Techniques in the Development of Blackboard Systems

International Journal of Pattern Recognition and Artificial Intelligence - Singapore
doi 10.1142/s021800149300011x
Full Text
Open PDF
Abstract

Available in full text

Categories
Computer VisionPattern RecognitionArtificial IntelligenceSoftware
Date

April 1, 1993

Authors
IAIN D. CRAIG
Publisher

World Scientific Pub Co Pte Lt


Related search

Applying Formal Techniques to the Design of Concurrent Systems.

English

Formal Techniques for Distributed Objects, Components, and Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

The Formal, Tool Supported Development of Real Time Systems

English

Formal Development of Distributed Enumeration Algorithms by Refinement-Based Techniques

English

Formal Development of Object-Based Systems in a Temporal Logic Setting

1999English

Software Development Techniques for Constructive Information Systems

English

Formal Methods in Systems Engineering

1993English

Descriptional Complexity of Formal Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Formal Verification of Hybrid Systems

2011English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy