Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Case study in protocol validation: Validating an ATM signalling protocol

 
: Vassiliou-Gioles, T.; Schieferdecker, I.K.

Groote, J.F.:
FMICS '98, Proceedings of the Third International Workshop on Formal Methods for Industrial Critical Systems : Amsterdam , 25-26 May 1998
Amsterdam: SMC, 1998
ISBN: 90-6196-480-6
S.321-346
International Workshop on Formal Methods for Industrial Critical Systems (FMICS) <3, 1998, Amsterdam>
Englisch
Konferenzbeitrag
Fraunhofer FOKUS ()

: http://publica.fraunhofer.de/dokumente/980502.html