Sökt på: Sökresultat
totalt 4 träffar
Coordination Models and Languages
This book constitutes the refereed proceedings of the 24th IFIP WG 6.1 International Conference on Coordination Models and Language, COORDINATION 2022, held in Lucca, Italy, in …
Integrated Formal Methods
This book constitutes the refereed proceedings of the 17th International Conference on Integrated Formal Methods, IFM 2022, held in Lugano, Switzerland, in June 2022. The 14 full …
Critical Systems: Formal Methods and Automated Verification
This book constitutes the refereed proceedings of the Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and the 16th International Workshop on …
Irregular Migration
This open access short reader provides an introduction to the theoretical debates regarding irregular migration and aims to bridge these theoretical debates to current empirical …