Final Report of the COST-247 Action |
A refinement technique in SDL design of a telephone exchange
Eleonora Bounimova, Vladimir Levin, Kemal Inan
Electrical & Electronics Engineering Department |
Middle East Technical University |
Ankara 06531, Turkey |
e-mail : inan@srdc.metu.edu.tr |
tel : +90-312-2101298 and +90-312-2102324 |
fax : +90-312-2101411 and +90-312-2101261 |
SDL description of a small scale PABX is described and a method for the refinement of the specification is suggested in which the size of the state space is reduced by exploiting certain properties.
This presentation has been given during the COST-247 5th Management Committee Meeting (Warsaw, Poland, June 12--13, 1995).
COST-247 Working Group(s): 4
This Page was prepared by Mark Jorgensen.