Suche

Model Checking Timed UML State Machines and Collaborations

Alexander Knapp, Stephan Merz, Christopher Rauh

In: Werner Damm, Ernst Rüdiger Olderog (Hgg.). Proc. 7th Int. Symp. Formal Techniques in Real-Time and Fault Tolerant Systems (FTRTFT'02). Lect. Notes Comp. Sci. 2469, Springer, Berlin, 2002. S. 395-416


Downloads: