Werkzeuggestützte formale Analyse von Echtzeitsystemen

Karsten Diethers. Werkzeuggestützte formale Analyse von Echtzeitsystemen. PhD thesis, University of Braunschweig - Institute of Technology, 2007. [doi]

Abstract

Abstract is missing.