Jüri Vain

Books

Advances in Model and Data Engineering in the Digitalization Era Advances in Model and Data Engineering in the Digitalization Era
Advances in Model and Data Engineering in the Digitalization Era
2021
System Assurances (Enhanced Edition) System Assurances (Enhanced Edition)
System Assurances (Enhanced Edition)
2022
Formal Techniques for Networked and Distributed Systems - FORTE 2007 Formal Techniques for Networked and Distributed Systems - FORTE 2007
Formal Techniques for Networked and Distributed Systems - FORTE 2007
2007