Filter
Sökt på: Sökresultat
Filter
totalt 3 träffar
Formal Methods for Industrial Critical Systems
häftad,
2020,
Engelska,
ISBN 9783030582975
This book constitutes the proceedings of the 25th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2020, which was held during September 2-3, 2020. …
Formal Methods – The Next 30 Years
häftad,
2019,
Engelska,
ISBN 9783030309411
This book constitutes the refereed proceedings of the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in the form of the Third World Congress on Formal Methods, …
From Software Engineering to Formal Methods and Tools, and Back
häftad,
2019,
Engelska,
ISBN 9783030309848
This volume was published in honor of Stefania Gnesi’s 65th birthday. The Festschrift volume contains 32 papers written by close collaborators and friends of Stefania and was …