✦ LIBER ✦

[Lecture Notes in Computer Science] The Essence of Computation Volume 2566 || Design and Implementation of a Special-Purpose Static Program Analyzer for Safety-Critical Real-Time Embedded Software

✍ Scribed by Mogensen, Torben Æ.; Schmidt, David A.; Sudborough, I. Hal

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] The

✍ Mogensen, Torben Æ.; Schmidt, David A.; Sudborough, I. Hal 📂 Article 📅 2002 🏛 Springer Berlin Heidelberg ⚖ 295 KB

[Lecture Notes in Computer Science] Mode

✍ Giese, Holger; Karsai, Gabor; Lee, Edward; Rumpe, Bernhard; Schätz, Bernhard 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg ⚖ 615 KB

[Lecture Notes in Computer Science] Fiel

✍ Becker, Jürgen; Platzner, Marco; Vernalde, Serge 📂 Article 📅 2004 🏛 Springer Berlin Heidelberg ⚖ 135 KB

[Lecture Notes in Computer Science] Reli

✍ Romanovsky, Alexander; Vardanega, Tullio 📂 Article 📅 2011 🏛 Springer Berlin Heidelberg ⚖ 620 KB