Formalisms in Telecommunications
Fundamental features of telecommunication system. Formalisms and complex systems. Formal specifications and descriptions of telecommunication processes and services. Verification and validation of formal models. Formal methods classification regarding applications. Advantages and disadvantages of formal methods and techniques. Review of some particular tools. Modules of intelligent telecommunication development environment implemented by formal methods.
Postgraduate doctoral study programme
Kenneth J. Turner (1993.), Using Formal Description Techniques, John Wiley & Sons Incorporated
Jan Ellsberger, Dieter Hogrefe, Amardeo Sarma (1997.), SDL,
Laurent Doldi (2003.), Validation of Communications Systems with SDL, John Wiley & Sons
L0 English Level