Using an UML profile for timing analysis with the IF validation tool-set

Iulian Ober, Susanne Graf, Yuri Yushtein. Using an UML profile for timing analysis with the IF validation tool-set. In Holger Giese, Bernhard Rumpe, Bernhard Sch├Ątz, editors, Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme II, Schloss Dagstuhl, Germany, 9.-13. Januar 2006, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme. Volume 2006-1 of Informatik-Bericht, pages 75-84, TU Braunschweig, Institut für Software Systems Engineering, 2006. [doi]

Abstract

Abstract is missing.