Jüri Vain

No bio available. Add one in Open Library.

Books by Jüri Vain (50 max)

+ shelf+ list

System Assurances: Modelling and Management

2022

Prashant Johri, Adarsh Anand, Jüri Vain, Jagvinder Singh, Mohammad Tabrez Quasim

+ shelf+ list

Formal Techniques for Networked and Distributed Systems - FORTE 2007 27th IFIP WG 6. 1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings

2007

John Derrick, Jüri Vain

+ shelf+ list

Advances in Model and Data Engineering in the Digitalization Era : MEDI 2021 International Workshops: DETECT, SIAS, CSMML, BIOC, HEDA, Tallinn, Estonia, June 21-23, 2021, Proceedings

2021

Ladjel Bellatreche, George Chernishev, Antonio Corral, Samir Ouchani, Jüri Vain