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: 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 : 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.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: 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, 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 = {IEEE}, publisherplace = {Bratislava, Slova\v{c}ka} }
@article{article, 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 = {IEEE}, publisherplace = {Bratislava, Slova\v{c}ka} }




Contrast
Increase Font
Decrease Font
Dyslexic Font