✦ LIBER ✦

Improving the security of industrial networks by means of formal verification

✍ Scribed by Ivan Cibrario Bertolotti; Luca Durante; Paolo Maggi; Riccardo Sisto; Adriano Valenzano

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Improving the Trustworthiness of Medical

✍ Li, Chunxiao; Raghunathan, Anand; Jha, Niraj K. 📂 Article 📅 2013 🏛 Institute of Electrical and Electronics Engineers 🌐 English ⚖ 636 KB

Improving the cyber security of SCADA co

✍ Patel, Sandip C.; Bhatt, Ganesh D.; Graham, James H. 📂 Article 📅 2009 🏛 Association for Computing Machinery 🌐 English ⚖ 320 KB

Speaker identification security improvem

✍ Marcos Faundez-Zanuy; Martin Hagmüller; Gernot Kubin 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 234 KB

The Improvement of Ability in the Use of

✍ H. O. Rugg and J. R. Clark 📂 Article 📅 1917 🏛 The University of Chicago Press ⚖ 252 KB

Improved frequency measurement by means

✍ Hlupic, N.; Butorac, J.; Kresic, M. 📂 Article 📅 2005 🏛 IEEE 🌐 English ⚖ 320 KB

Improving the efficiency of circuit-swit

✍ Blefari-Melazzi, N.; Reali, G. 📂 Article 📅 2000 🏛 IEEE 🌐 English ⚖ 256 KB