Verifying Resource Adequacy of Networked IMA Systems at Concept Level

Communications in Computer and Information Science - Formal Techniques for Safety-Critical Systems ◽

10.1007/978-3-030-46902-3_3 ◽

2020 ◽

pp. 40-56

Author(s):

Rodrigo Saar de Moraes ◽

Simin Nadjm-Tehrani

Download Full-text