"Verifying Resource Adequacy of Networked IMA Systems at Concept Level."

Rodrigo Saar de Moraes, Simin Nadjm-Tehrani (2019)
a service of Schloss Dagstuhl - Leibniz Center for Informatics