The top documents tagged [control software bbi]

Holger Hermanns Formal Methods for Software Engineering Part III: Applications of Formal Methods Lecture 10: Applications?

---

223 views

Formal Methods in Software Engineering Applications of Formal Methods Lecture 31.

---

219 views