MSCtool: Message Sequence Chart Specification and Verification using PROMELA/SPIN (CROSBI ID 466071)
Prilog sa skupa u zborniku | izvorni znanstveni rad | međunarodna recenzija
Podaci o odgovornosti
Lovrek, Ignac ; Jelavić, Damir ; Pavelić, Martin ; Dautović, Enes ; Filipović, Emina ; Madunović, Krešimir
engleski
MSCtool: Message Sequence Chart Specification and Verification using PROMELA/SPIN
The paper deals with a specification toll based on Message Sequence Chart, and Message Sequence Chart verification using PROMELA/SPIN tool set. Basic feature of Message Sequence Chart language as well as graphical and textual representation are listed. Message Sequence Chart graphics editor, translator from graphical to textual form and PROMELA code generator as basic components of the tool MSCtool are described. Simple specification and verification are included.
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
Podaci o prilogu
33-39-x.
1997.
objavljeno
Podaci o matičnoj publikaciji
Lovrek, Ignac
Fakultet elektrotehnike i računarstva Sveučilišta u Zagrebu
Podaci o skupu
ConTel '97
predavanje
18.06.1997-19.06.1997
Zagreb, Hrvatska
