Qualitative and Quantitative Analysis of Timed SDL Specifications

Publisher Website

1 January 1993

book chapter
Published by Springer Nature

p. 486-500
https://doi.org/10.1007/978-3-642-78091-2_36

Abstract

No abstract available

Keywords

This publication has 2 references indexed in Scilit:

Estelle, LOTOS und SDL
Published by Springer Nature ,1989
A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems
ACM Transactions on Computer Systems, 1984