✦ LIBER ✦

Specifying a safety-critical control system in Z

✍ Scribed by Jacky, J.

Book ID: 117872059
Publisher: IEEE
Year: 1995
Tongue: English
Weight: 666 KB
Volume: 21
Category: Article
ISSN: 0098-5589
DOI: 10.1109/32.345826

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Specifying safety-critical systems with

Specifying safety-critical systems with a decidable duration logic

✍ Konur, Savas 📂 Article 📅 2014 🏛 Elsevier Science 🌐 English ⚖ 511 KB

C++ in safety critical systems

✍ David W. Binkley 📂 Article 📅 1997 🏛 Springer 🌐 English ⚖ 84 KB

Specifying Dialog Control in Visual Inte

Specifying Dialog Control in Visual Interactive Systems

✍ P. BOTTONI; M.F. COSTABILE; S. LEVIALDI; P. MUSSIO 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 592 KB

Mission-Critical and Safety-Critical Sys

Mission-Critical and Safety-Critical Systems Handbook || Best Practices in Mission-Assured, Mission-Critical, and Safety-Critical Systems

✍ Fowler, Kim 📂 Article 📅 2010 🏛 Elsevier 🌐 English ⚖ 744 KB

This handbook provides a consolidated, comprehensive information resource for engineers working with mission and safety critical systems. Principles, regulations, and processes common to all critical design projects are introduced in the opening chapters. Expert contributors then offer development m

Structural Refinement of Systems Specifi

Structural Refinement of Systems Specified in Object-Z and CSP

✍ John Derrick; Graeme Smith 📂 Article 📅 2003 🏛 Springer 🌐 English ⚖ 241 KB

Using MODULA-2 for safety-critical contr

Using MODULA-2 for safety-critical control in an urban transportation system

✍ Régis Lardennois 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 379 KB