Runtime Verification beyond Monitoring (ARVI)

Project Period: 2015-03-01 – 2018-12-16
Further information can be found in the project profile.

To the project profile