Verifying Resource Adequacy of Networked IMA Systems at Concept Level

von Saar de Moraes, Rodrigo
Veröffentlicht in FTSCS (7. : 2019 : Shenzhen) Formal techniques for safety-critical systems (2020)