✦ LIBER ✦

Systematic reliability analysis of a class of application-specific embedded software framework

✍ Scribed by Sung Kim; Bastani, F.B.; I-Ling Yen; Chen, I.-R.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Formal verification of real-time embedde

✍ Hsiung, P.-A.; Lee, T.-Y.; Fu, J.-M.; See, W.-B. 📂 Article 📅 2004 🏛 The Institution of Electrical Engineers 🌐 English ⚖ 536 KB

A framework for systematic analysis of o

✍ Graziotin, Daniel; Wang, Xiaofeng; Abrahamsson, Pekka 📂 Article 📅 2014 🏛 Springer Netherlands 🌐 English ⚖ 396 KB

PET, a software monitoring toolkit for p

✍ J. Garcı́a; J. Entrialgo; D.F. Garcı́a; J.L. Dı́az; F.J. Suárez 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 336 KB

A Unified Framework for the Analysis of

✍ Rass, S.; Schartner, P. 📂 Article 📅 2011 🏛 IEEE 🌐 English ⚖ 262 KB

Methods and Object-Oriented Software for

✍ Haukaas, Terje; Der Kiureghian, Armen 📂 Article 📅 2007 🏛 American Society of Civil Engineers 🌐 English ⚖ 263 KB

[IEEE 2009 20th IEEE International Confe

✍ Guerin, Xavier; Petrot, Frédéric 📂 Article 📅 2009 🏛 IEEE ⚖ 436 KB