✦ LIBER ✦

Deriving architectural flexibility requirements in safety-critical systems

✍ Scribed by Stephenson, Z.; McDermid, J.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The FTT-CAN protocol for flexibility in

✍ Ferreira, J.; Pedreiras, P.; Almeida, L.; Fonseca, J.A. 📂 Article 📅 2002 🏛 IEEE 🌐 English ⚖ 270 KB

C++ in safety critical systems

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

Resource-requirements planning in flexib

✍ A. K. Jain; R. G. Kasilingam; S. D. Bhole 📂 Article 📅 1991 🏛 Springer 🌐 English ⚖ 615 KB

Relational programs: An architecture for

✍ Farokh B. Bastani 📂 Article 📅 1999 🏛 Springer 🌐 English ⚖ 148 KB

Human–computer interaction in safety cri

✍ Bridget A. Leathley 📂 Article 📅 1995 🏛 John Wiley and Sons 🌐 English ⚖ 408 KB

Decomposition in Real-Time Safety-Critic

✍ Paul Mukherjee; Victoria Stavridou 📂 Article 📅 1998 🏛 Springer US 🌐 English ⚖ 115 KB