𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A framework for knowledge representation in safety-critical systems

✍ Scribed by S. Parthasarathy

Publisher
Elsevier Science
Year
1994
Tongue
English
Weight
655 KB
Volume
7
Category
Article
ISSN
0952-1976

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

A tool-supported design framework for sa
A tool-supported design framework for safety critical interactive systems
✍ RΓ©mi Bastide; David Navarre; Philippe Palanque πŸ“‚ Article πŸ“… 2003 πŸ› Elsevier Science 🌐 English βš– 779 KB

This paper presents a design framework for safety critical interactive systems, based on a formal description technique called the ICO (Interactive Cooperative Object) formalism. ICO allows for describing, in a formal way, all the components of highly interactive (also called post-WIMP) applications