Verifying Resource Adequacy of Networked IMA Systems at Concept Level.

Rodrigo Saar de Moraes Simin Nadjm-Tehrani

Published in: FTSCS (2019)

Keyphrases

model checking
computer vision
levels of abstraction
expert systems
management system
database
building blocks
complex systems
resource allocation
distributed systems
resource requirements
abstraction levels
lower level
resource management
software engineering
case study
multimedia
information systems
data sets