author = { Larsen, Kim G. AND Mikucionis, Marius AND Nielsen, Brian Kim G. Larsen and Marius Mikucionis and Brian Nielsen },

title = { Online Testing of Real-Time Systems Using UPPAAL: Status and Future Work },

publisher = {Schloss Dagstuhl – Leibniz-Zentrum für Informatik},

keywords = { symbolic state representation , relativized timed input/output conformance , real-time systems , embedded systems , mo , black-box testing , Online testing },

year = {2005},

abstract = {Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.},

url = { http://slubdd.de/katalog?TN_libero_mab2 }