Search All Publications
Articles in Conference Proceedings
-
Jens Grabowski, Rudolf Scheurer, Daniel Toggweiler, Dieter HogrefeDealing with the complexity of state space exploration algorithms for SDL systems, Proceedings of the 6th GI/ITG Technical Meeting on Formal Description Techniques for Distributed Systems, 1996
-
Jens Grabowski, Thomas WalterQuality-of-Service Testing - Specifying Functional QoS Testing Requirements by using Message Sequence Charts and TTCN, Proceedings of the 6th GI/ITG Technical Meeting on Formal Description Techniques for Distributed Systems, 1996
Technical Reports
-
Jens Grabowski, Stefan Heymer, Beat KochVisualisierung von ASN.1-Werten, 1996
- An Automata based Model for the Implementation of a TTCN Simulator, 1996
Tutorials
-
Ekkart Rudolph, Jens Grabowski, Peter GraubmannTutorial on Message Sequence Charts, First Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, and Protocol Specification, Testing, and Verification (FORTE/PSTV'96), 1996
2025 © Software Engineering For Distributed Systems Group