✦ LIBER ✦

Building Large, Complex, Distributed Safety-Critical Operating Systems

✍ Scribed by Horst F. Wedde; Jon A. Lind

Book ID: 110256196
Publisher: Springer US
Year: 1997
Tongue: English
Weight: 414 KB
Volume: 13
Category: Article
ISSN: 0922-6443
DOI: 10.1023/a:1007915628098

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Safety- and Security-Critical Services i

Safety- and Security-Critical Services in Building Automation and Control Systems

✍ Novak, T.; Gerstinger, A. 📂 Article 📅 2010 🏛 IEEE 🌐 English ⚖ 211 KB

Performance of thermal distribution syst

Performance of thermal distribution systems in large commercial buildings

✍ Tengfang T. Xu; François R. Carrié; Darryl J. Dickerhoff; William J. Fisk; Jenni 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 403 KB

Extreme distributed systems: from large

Extreme distributed systems: from large scale to complexity

✍ Alberto Montresor, Guszti Eiben, Maarten van Steen 📂 Article 📅 2012 🏛 Springer Vienna 🌐 English ⚖ 58 KB

5506792 System for operating application

5506792 System for operating application software in a safety critical environment

📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 119 KB

A laminated material for packaging containers comprising polyvinyl alcohol or other water-soluble, thermoplastic resin layers disposed on both sides of a paperboard base material layer and other thermoplastic synthetic resin layers laminated thereon. An aluminum foil layer 5 may be provided over a p

Building and Solving Large-Scale Stochas

Building and Solving Large-Scale Stochastic Programs on an Affordable Distributed Computing System

✍ Emmanuel Fragnière; Jacek Gondzio; Jean-Philippe Vial 📂 Article 📅 2000 🏛 Springer US 🌐 English ⚖ 155 KB

Towards generation of efficient test cas

Towards generation of efficient test cases from UML/OCL models for complex safety-critical systems

✍ W. Herzner; R. Schlick; W. Schütz; H. Brandl; W. Krenn 📂 Article 📅 2010 🏛 Springer 🌐 English ⚖ 650 KB