Jüri Vain

• Advances in Model and Data Engineering in the Digitalization Era : MEDI 2021 International Workshops
• Formal Techniques for Networked and Distributed Systems - FORTE 2007
• System Assurances