"Automating the Verification of Realtime Observers Using Probes and the ..."

Silvano Dal-Zilio, Bernard Berthomieu (2015)

Details and statistics

DOI: 10.1007/978-3-319-28678-5_7

access: closed

type: Conference or Workshop Paper

metadata version: 2017-06-15

a service of  Schloss Dagstuhl - Leibniz Center for Informatics