✦ LIBER ✦

Using Circus for Safety-critical Applications

✍ Scribed by J.C.P. Woodcock

Book ID: 108126357
Publisher: Elsevier Science
Year: 2004
Tongue: English
Weight: 224 KB
Volume: 95
Category: Article
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2004.04.003

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Derating concerns for microprocessors us

Derating concerns for microprocessors used in safety critical applications

✍ Forsberg, Hakan; Manefjord, Torbjorn 📂 Article 📅 2007 🏛 IEEE ⚖ 175 KB

Computerised controllers for safety crit

Computerised controllers for safety critical medical applications

✍ Wolfgang A Halang; Marek Śnieżek; Matjaž Colnarič 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 244 KB

Diaphragm metering pumps for safety crit

Diaphragm metering pumps for safety critical applications

📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 278 KB

## Elphtck, ProMinent Fluid Controls (UIO and Michael Rummer, ProMinent GmbH discuss the latest in metering pump technology and how solenoid driven diaphragm metering p u m p s are becoming increasingly popular for dosing hazardous chemicals. M e t e r i n g p u m p s are w i d e l y used in m a n

Licensing Reliable Embedded Software for

Licensing Reliable Embedded Software for Safety-Critical Applications

✍ Francesca Saglietti 📂 Article 📅 2004 🏛 Springer US 🌐 English ⚖ 171 KB

A codesign approach for safety-critical

A codesign approach for safety-critical automotive applications

✍ von Hanxleden, R.; Botorabi, A.; Kupczyk, S. 📂 Article 📅 1998 🏛 IEEE 🌐 English ⚖ 177 KB

A Highly Dependable Computing Architectu

A Highly Dependable Computing Architecture for Safety-Critical Control Applications

✍ Bernd J. Krämer; Norbert Völker 📂 Article 📅 1997 🏛 Springer US 🌐 English ⚖ 276 KB