for at udvide
kategorilisten.
Søgning på underkategorier- og emner:
This book constitutes the refereed proceedings of the 22nd International... Læs mere
This book constitutes the proceedings of the 14th International Symposium on NASA Formal Methods, NFM... Læs mere
This book constitutes the refereed proceedings of the 5th International... Læs mere
This volume revised versions of the selected papers presented during the... Læs mere
This book constitutes the refereed proceedings of the 37th International... Læs mere
This book constitutes the proceedings of the 26th International Conference... Læs mere
This book constitutes the thoroughly refereed proceedings of the CAiSE Forum 2022 which was held in Leuven, Belgium, in June 2022, as part of the 34th International Conference on Advanced Information Systems Engineering, CAiSE 2022.
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 papers and 2 short papers were carefully reviewed and selected from 46 submissions.
This book constitutes the refereed proceedings of the 23rd International... Læs mere
This book constitutes the refereed proceedings of five International... Læs mere