๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Equipment design in a safety critical industry

โœ Scribed by A. Steel


Book ID
108632613
Publisher
John Wiley and Sons
Year
2011
Tongue
English
Weight
102 KB
Volume
66
Category
Article
ISSN
0003-2409

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


A tool-supported design framework for sa
โœ 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