Model Checking Based Approach for Compliance Checking

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Martinelli, Fabio; Mercaldo, Francesco; Nardone, Vittoria; Orlando, Albina; Santone, Antonella; Vaglini, Gigliola

Journal title: Journal of Information Technology and Control

Journal number: Vol. 48, Issue 2

Journal publisher: Kaunas University of Technology

Published year: 2019

Published pages: 278-298

DOI identifier: 10.5281/zenodo.10927104

ISSN: 1392-124X