Davi Monteiro Hanc marginis exiguitas non caperet

Blog


Scen@rist: an approach for verifying self-adaptive systems using runtime scenarios

01 Dec 2019

Lotus@Runtime: A Tool for Runtime Monitoring and Verification of Self-adaptive Systems

17 Jan 2017