Search All Publications
Conference Proceedings
-
Jens Grabowski, Stefan HeymerFormale Beschreibungstechniken fuer verteilte Systeme (FBT2000), 10. GI/TG-Fachgespraech, Shaker Verlag, Aachen, 2000
Tutorials
-
Ina Schieferdecker, Ekkart Rudolph, Jens GrabowskiTest Development with MSC-2000, 2000
-
Jens Grabowski, Thomas WalterTutorial on Specification-based Testing of Distributed Systems: Methods, Tools and Applications, 2000
Pages
2025 © Software Engineering For Distributed Systems Group