𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Agent-based Simulation Framework for Safety Critical System

✍ Scribed by Zhu Yujun; Xu Zhongwei; Mei Meng


Book ID
119356293
Publisher
Elsevier
Year
2012
Tongue
English
Weight
321 KB
Volume
29
Category
Article
ISSN
1877-7058

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

A Simulation Framework for Heterogeneous
✍ David Meyer; Alexandros Karatzoglou; Friedrich Leisch; Christian Buchta; Kurt Ho πŸ“‚ Article πŸ“… 2003 πŸ› Springer US 🌐 English βš– 152 KB