Home › Authors › Jüri Vain 👤 Jüri Vain 3 books Books by Jüri Vain System Assurances System Assurances 2022 Advances in Model and Data Eng Advances in Model and Data Engineering in the Digitalization Era : MEDI 2021 International Workshops 2021 Formal Techniques for Networke Formal Techniques for Networked and Distributed Systems - FORTE 2007 2007