"Run-time Monitoring of a Rover: MDE Research with Open Source Software and ..."

Reza Ahmadi et al. (2016)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics