✦ LIBER ✦

Using Event-B for Critical Device Software Systems || EB2ALL: An Automatic Code Generation Tool

✍ Scribed by Singh, Neeraj Kumar

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Using Event-B for Critical Device Softwa

✍ Singh, Neeraj Kumar 📂 Article 📅 2013 🏛 Springer London ⚖ 145 KB

Using Event-B for Critical Device Softwa

✍ Singh, Neeraj Kumar 📂 Article 📅 2013 🏛 Springer London ⚖ 532 KB

Using Event-B for Critical Device Softwa

✍ Singh, Neeraj Kumar 📂 Article 📅 2013 🏛 Springer London ⚖ 226 KB

Using Event-B for Critical Device Softwa

✍ Singh, Neeraj Kumar 📂 Article 📅 2013 🏛 Springer London ⚖ 359 KB

Using Event-B for Critical Device Softwa

✍ Singh, Neeraj Kumar 📂 Article 📅 2013 🏛 Springer London ⚖ 543 KB

Using Event-B for Critical Device Softwa

✍ Singh, Neeraj Kumar 📂 Article 📅 2013 🏛 Springer London ⚖ 899 KB