SDL, Real-Time and Quality of Service
Publications
-
Stefan Leue: Methods and Semantics for Telecommunications Systems Engineering, Doctoral Dissertation, University of Berne, 1994.
Download: [PDF] [PS] -
Fischer, S. Leue: Formal Methods for Broadband and Multimedia Systems
, Computer Networks and ISDN Systems, 1997.
Download: [PDF] [PS] -
S. Leue: Specifying Real-Time Requirements for SDL Specifications - A Temporal Logic-Based Approach
, Proceedings of the Fifteenth International Symposium on Protocol Specification, Testing, and Verification PSTV'95, Chapmann & Hall, 1995.
Download: [PDF] [PS] -
S. Leue: QoS Specification Based on SDL /MSC and Temporal Logic
, Proceedings of the Montreal Workshop on Multimedia Applications and Quality of Service Verification, Workshop on Multimedia Applications and Quality of Service Verification, Montreal, 1994.
Download: [PDF] [PS]