Pretraga

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

Napredna pretraga

Pregled bibliografske jedinice broj: 1192702

Petri net modeling for reactive system verification

Blaskovic, B.
Petri net modeling for reactive system verification // ConTEL Conference on Telecommunications / Jevtić, D. ; Mikuc, M. (ur.).
Zagreb: Institute of Electrical and Electronics Engineers (IEEE), 2003. str. 257-264 doi:10.1109/contel.2003.176918 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)

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

Naslov
Petri net modeling for reactive system verification

Autori
Blaskovic, B.

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

Izvornik
ConTEL Conference on Telecommunications / Jevtić, D. ; Mikuc, M. - Zagreb : Institute of Electrical and Electronics Engineers (IEEE), 2003, 257-264

Skup
Conference on Telecommunications

Mjesto i datum
Zagreb, Hrvatska, 06.2003

Vrsta sudjelovanja
Predavanje

Vrsta recenzije
Međunarodna recenzija

Ključne riječi
Real-time system, model checking, Petri nets, Elementary Communicating Processes, ( CO)^4pe metamodeling framework

Sažetak
Verification methodologies like model checking and theorem proving are part Of complex system system design. Correct behavior of concurrent reactive real-time system is among other ....

Izvorni jezik
Engleski

Znanstvena područja
Elektrotehnika, Računarstvo



POVEZANOST RADA

Ustanove:
Fakultet elektrotehnike i računarstva, Zagreb

Profili:

Avatar Url Bruno Blašković (autor)

Poveznice na cjeloviti tekst rada:

doi ieeexplore.ieee.org

Citiraj ovu publikaciju:

Blaskovic, B.
Petri net modeling for reactive system verification // ConTEL Conference on Telecommunications / Jevtić, D. ; Mikuc, M. (ur.).
Zagreb: Institute of Electrical and Electronics Engineers (IEEE), 2003. str. 257-264 doi:10.1109/contel.2003.176918 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)
Blaskovic, B. (2003) Petri net modeling for reactive system verification. U: Jevtić, D. & Mikuc, M. (ur.)ConTEL Conference on Telecommunications doi:10.1109/contel.2003.176918.
@article{article, author = {Blaskovic, B.}, year = {2003}, pages = {257-264}, DOI = {10.1109/contel.2003.176918}, keywords = {Real-time system, model checking, Petri nets, Elementary Communicating Processes, ( CO)\^{}4pe metamodeling framework}, doi = {10.1109/contel.2003.176918}, title = {Petri net modeling for reactive system verification}, keyword = {Real-time system, model checking, Petri nets, Elementary Communicating Processes, ( CO)\^{}4pe metamodeling framework}, publisher = {Institute of Electrical and Electronics Engineers (IEEE)}, publisherplace = {Zagreb, Hrvatska} }
@article{article, author = {Blaskovic, B.}, year = {2003}, pages = {257-264}, DOI = {10.1109/contel.2003.176918}, keywords = {Real-time system, model checking, Petri nets, Elementary Communicating Processes, ( CO)\^{}4pe metamodeling framework}, doi = {10.1109/contel.2003.176918}, title = {Petri net modeling for reactive system verification}, keyword = {Real-time system, model checking, Petri nets, Elementary Communicating Processes, ( CO)\^{}4pe metamodeling framework}, publisher = {Institute of Electrical and Electronics Engineers (IEEE)}, publisherplace = {Zagreb, Hrvatska} }

Citati:

    Altmetrijski pokazatelji:


    Podijeli:





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