Orlando, Albina, Istituto per le Applicazioni del Calcolo “M. Picone”, Consiglio Nazionale delle Ricerche, Italy

• Information Technology and Control Vol. 48 No. 2 (2019) - Articles
  Model Checking Based Approach for Compliance Checking
  Abstract  PDF