Technical Reports
The report FIMU-RS-2007-02
Formalisms and Tools for Design and Specification of Network Protocols
by Jindřich Babica, Vojtěch Řehák, Petr Slovák, Pavel Troubil, Martin Zavadil, May 2007, 33 pages.
FIMU-RS-2007-02. Available as Postscript, PDF.
Abstract:
Message Sequence Charts (MSC) are a useful formalism for formalization of
Responsible contact:
vedaXDjbU2LSW@fiQ1T5fpnNE.muni8CVI=SRv5.cz
Please install a newer browser for this site to function properly.