✦ LIBER ✦

Formal methods, techniques and tools for secure and reliable applications

✍ Scribed by Ahmed Patel

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Domain Specific Tools and Methods for Ap

✍ Patrick Schaumont; Ingrid Verbauwhede 📂 Article 📅 2002 🏛 Springer US 🌐 English ⚖ 183 KB

Transformation methods and tools for des

✍ V. N. Kas'yanov 📂 Article 📅 1993 🏛 Springer US 🌐 English ⚖ 785 KB

SPECS: Formal methods and techniques for

✍ Michel Dauphin 📂 Article 📅 1992 🏛 Elsevier Science ⚖ 430 KB

Nanofabrication Towards Biomedical Appli

✍ Kumar, Challa S. S. R.; Hormes, Josef; Leuschner, Carola 📂 Article 📅 2005 🏛 Wiley-VCH Verlag GmbH & Co. KGaA ⚖ 764 KB

Staffing Management Methods: Tools and T

✍ Victoria L. Tiase 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 412 KB

Cyber Warfare – Techniques, Tactics and

✍ William J. (Bill) Caelli 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 120 KB