"Model Checking Real-Time Properties on the Functional Layer of Autonomous ..."

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