Pregled bibliografske jedinice broj: 11959
MSCtool: Message Sequence Chart Specification and Verification using PROMELA/SPIN
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: Fakultet elektrotehnike i računarstva Sveučilišta u Zagrebu, 1997. str. 33-39 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)
CROSBI ID: 11959 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
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 - : Fakultet elektrotehnike i računarstva Sveučilišta u Zagrebu, 1997, 33-39
Skup
ConTel '97
Mjesto i datum
Zagreb, Hrvatska, 18.06.1997. - 19.06.1997
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
Ustanove:
Fakultet elektrotehnike i računarstva, Zagreb,
Ericsson Nikola Tesla d.d.
Profili:
Ignac Lovrek
(autor)
