Published 2017 | Version v1

Publication Metadata-only

Learning middleware models for verification of distributed control programs

Creators: KHALILI, ALI; NARIZZANO, MASSIMO; NATALE, LORENZO; TACCHELLA, ARMANDO

Others:: Khalili, Ali; Narizzano, Massimo; Natale, Lorenzo; Tacchella, Armando

Additional details

Created:: April 14, 2023
Modified:: November 27, 2023