Napredna pretraga

Pregled bibliografske jedinice broj: 11959

MSCtool: Message Sequence Chart Specification and Verification using PROMELA/SPIN


Lovrek, Ignac; Jelavić, Damir; Pavelić, Martin; Dautović, Enes; Filipović, Emina; Madunović, Krešimir
MSCtool: Message Sequence Chart Specification and Verification using PROMELA/SPIN // 2nd International Workshop on Applied Formal Methods in System design / Lovrek, Ignac (ur.).
Zagreb, Hrvatska: FER Zagreb, 1997. str. 33-39 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)


Naslov
MSCtool: Message Sequence Chart Specification and Verification using PROMELA/SPIN

Autori
Lovrek, Ignac ; Jelavić, Damir ; Pavelić, Martin ; Dautović, Enes ; Filipović, Emina ; Madunović, Krešimir

Vrsta, podvrsta i kategorija rada
Radovi u zbornicima skupova, cjeloviti rad (in extenso), znanstveni

Izvornik
2nd International Workshop on Applied Formal Methods in System design / Lovrek, Ignac - : FER Zagreb, 1997, 33-39

Skup
ConTel '97

Mjesto i datum
Zagreb, Hrvatska, 18-19.06.97

Vrsta sudjelovanja
Predavanje

Vrsta recenzije
Međunarodna recenzija

Sažetak
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.

Izvorni jezik
Engleski

Znanstvena područja
Elektrotehnika



POVEZANOST RADA


Projekt / tema
036030
071002

Ustanove
Fakultet elektrotehnike i računarstva, Zagreb,
Ericsson Nikola Tesla d.d.

Profili:

Avatar Url Ignac Lovrek (autor)

Citiraj ovu publikaciju

Lovrek, Ignac; Jelavić, Damir; Pavelić, Martin; Dautović, Enes; Filipović, Emina; Madunović, Krešimir
MSCtool: Message Sequence Chart Specification and Verification using PROMELA/SPIN // 2nd International Workshop on Applied Formal Methods in System design / Lovrek, Ignac (ur.).
Zagreb, Hrvatska: FER Zagreb, 1997. str. 33-39 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)
Lovrek, I., Jelavić, D., Pavelić, M., Dautović, E., Filipović, E. & Madunović, K. (1997) MSCtool: Message Sequence Chart Specification and Verification using PROMELA/SPIN. U: Lovrek, I. (ur.)2nd International Workshop on Applied Formal Methods in System design.
@article{article, editor = {Lovrek, I.}, year = {1997}, pages = {33-39}, keywords = {}, title = {MSCtool: Message Sequence Chart Specification and Verification using PROMELA/SPIN}, keyword = {}, publisher = {FER Zagreb}, publisherplace = {Zagreb, Hrvatska} }