Filter
Sökt på: Böcker av Alessandro Gianola
Filter
totalt 2 träffar
Verification of Data-Aware Processes via Satisfiability Modulo Theories
häftad,
2023,
Engelska,
ISBN 9783031427459
This book is a revised version of the PhD dissertation written by the author at the Free University of Bozen-Bolzano in Italy. It presents a new approach to safety verification of …
Verification of Data-Aware Processes via Satisfiability Modulo Theories
E-bok,
2023,
Engelska,
ISBN 9783031427466
This book is a revised version of the PhD dissertation written by the author at the Free University of Bozen-Bolzano in Italy.It presents a new approach to safety verification of a …