Pretraga

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

Napredna pretraga

Pregled bibliografske jedinice broj: 636824

Model checking approach for communication procedures validation

Blašković, Bruno; Knežević, Petar; Randić, Mirko
Model checking approach for communication procedures validation // EUROCON'2001, Trends in Communications, International Conference on. (Volume:2 ) / Farkaš, P. (ur.).
Bratislava: Institute of Electrical and Electronics Engineers (IEEE), 2001. str. 532-535 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)

CROSBI ID: 636824 Za ispravke kontaktirajte CROSBI podršku putem web obrasca

Naslov
Model checking approach for communication procedures validation

Autori
Blašković, Bruno ; Knežević, Petar ; Randić, Mirko

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

Izvornik
EUROCON'2001, Trends in Communications, International Conference on. (Volume:2 ) / Farkaš, P. - Bratislava : Institute of Electrical and Electronics Engineers (IEEE), 2001, 532-535

ISBN
0-7803-6490-2

Skup
EUROCON'2001, Trends in Communications, International Conference on

Mjesto i datum
Bratislava, Slovačka, 04.07.2001. - 07.07.2001

Vrsta sudjelovanja
Predavanje

Vrsta recenzije
Međunarodna recenzija

Ključne riječi
model checking; model extracting; validation
(formal specification; formal verification; protocols; quality control; reachability analysis; communication procedure validation; model checking; model extraction; quality assurance; requirements engineering; specification; Automata; Data mining; Logic; Protocols; Quality assurance; State-space methods)

Sažetak
Quality assurance is an important part of communicating systems development. In order to find errors communicating procedures are analyzed as early as possible, during the requirements or specification phase. This paper discuss validation of communicating procedures. Special attention is exercised on extraction of the data from real system descriptions through model extraction. Examples are given.

Izvorni jezik
Engleski

Znanstvena područja
Elektrotehnika, Računarstvo



POVEZANOST RADA

Ustanove:
Fakultet elektrotehnike i računarstva, Zagreb

Profili:

Avatar Url Mirko Randić (autor)

Avatar Url Petar Knežević (autor)

Avatar Url Bruno Blašković (autor)

Citiraj ovu publikaciju:

Blašković, Bruno; Knežević, Petar; Randić, Mirko
Model checking approach for communication procedures validation // EUROCON'2001, Trends in Communications, International Conference on. (Volume:2 ) / Farkaš, P. (ur.).
Bratislava: Institute of Electrical and Electronics Engineers (IEEE), 2001. str. 532-535 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)
Blašković, B., Knežević, P. & Randić, M. (2001) Model checking approach for communication procedures validation. U: Farkaš, P. (ur.)EUROCON'2001, Trends in Communications, International Conference on. (Volume:2 ).
@article{article, author = {Bla\v{s}kovi\'{c}, Bruno and Kne\v{z}evi\'{c}, Petar and Randi\'{c}, Mirko}, editor = {Farka\v{s}, P.}, year = {2001}, pages = {532-535}, keywords = {model checking, model extracting, validation}, isbn = {0-7803-6490-2}, title = {Model checking approach for communication procedures validation}, keyword = {model checking, model extracting, validation}, publisher = {Institute of Electrical and Electronics Engineers (IEEE)}, publisherplace = {Bratislava, Slova\v{c}ka} }
@article{article, author = {Bla\v{s}kovi\'{c}, Bruno and Kne\v{z}evi\'{c}, Petar and Randi\'{c}, Mirko}, editor = {Farka\v{s}, P.}, year = {2001}, pages = {532-535}, keywords = {formal specification, formal verification, protocols, quality control, reachability analysis, communication procedure validation, model checking, model extraction, quality assurance, requirements engineering, specification, Automata, Data mining, Logic, Protocols, Quality assurance, State-space methods}, isbn = {0-7803-6490-2}, title = {Model checking approach for communication procedures validation}, keyword = {formal specification, formal verification, protocols, quality control, reachability analysis, communication procedure validation, model checking, model extraction, quality assurance, requirements engineering, specification, Automata, Data mining, Logic, Protocols, Quality assurance, State-space methods}, publisher = {Institute of Electrical and Electronics Engineers (IEEE)}, publisherplace = {Bratislava, Slova\v{c}ka} }

Podijeli:





Contrast
Increase Font
Decrease Font
Dyslexic Font
CROSBI koristi kolačiće (cookies) kako bi poboljšao funkcionalnost stranice.