Pretražite po imenu i prezimenu autora, mentora, urednika, prevoditelja

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)


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 - : 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


Projekti:
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, author = {Lovrek, Ignac and Jelavi\'{c}, Damir and Paveli\'{c}, Martin and Dautovi\'{c}, Enes and Filipovi\'{c}, Emina and Madunovi\'{c}, Kre\v{s}imir}, 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} }
@article{article, author = {Lovrek, Ignac and Jelavi\'{c}, Damir and Paveli\'{c}, Martin and Dautovi\'{c}, Enes and Filipovi\'{c}, Emina and Madunovi\'{c}, Kre\v{s}imir}, 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} }




Contrast
Increase Font
Decrease Font
Dyslexic Font