✦ LIBER ✦

An abstract description generator for the reliability analysis in the design of real time systems

✍ Scribed by Elisabetta Binaghi; Lorenzo Lisca; Alberto Proserpio; Giacomo R Sechi

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

an approach to formal specification and

✍ Yulin Yao 📂 Article 📅 1989 🏛 Elsevier Science 🌐 English ⚖ 473 KB

Data flow analysis for the description a

✍ J.P. Thomesse; A. Cochet-Muchy; P. Nonn 📂 Article 📅 1980 🏛 Elsevier Science ⚖ 393 KB

Use of digital simulation in reliability

✍ M. Sikorski 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 802 KB

Crucial Issues in the Design of a Real-T

✍ E.R. Davies; D. Patel; A.I.C. Johnstone 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 777 KB

An incremental load formulation for limi

✍ Y.-L. Wu; T. Moan 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 1008 KB

Studies on the method of combining an an

✍ Yukao Tanaka; Hidetoshi Nishigaito; Hiroo Konishi; Masashi Nishimura 📂 Article 📅 2001 🏛 John Wiley and Sons 🌐 English ⚖ 280 KB 👁 1 views