author = { Quirk, William J. AND Quirk, William Joseph },

title = { Verification and validation of real-time software },

publisher = {Springer},

isbn = {0387151028},

isbn = {3540151028},

keywords = { Technische Zuverlässigkeit , Software , Realzeitverfahren , Zuverlässigkeitstheorie , Echtzeitverarbeitung },

year = {1985},

abstract = {Literaturverz. S. 209 - 231. - Mit 48 fig. u. 3 tab},

address = { Berlin },

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