Runtime Verification beyond Monitoring (ARVI)

 

Project no.: IC1402

Project funding:

COST actions

Period of project implementation: 2014-12-17 - 2018-12-16

Project partners: Austria, Czech Republic, Denmark, Estonia, France, North Macedonia, Germany, Greece, Iceland, Ireland, Israel, Italy, Luxembourg, Malta, Netherlands, Norway, Portugal, Serbia, Spain, Sweden, Switzerland, United Kingdom

Head:
Rimantas Šeinauskas

Duration:
2014 - 2018

Department:
Faculty of Informatics