Detail publikace

Verification of parametric concurrent systems with prioritised FIFO resource management

BOUAJJANI Ahmed, HABERMEHL Peter a VOJNAR Tomáš. Verification of parametric concurrent systems with prioritised FIFO resource management. Formal Methods in System Design, roč. 32, č. 2, 2008, s. 129-172. ISSN 0925-9856.
Název česky
Verifikace parametrických systémů paralelních procesů s prioritním FIFO řízením přístupu ke sdíleným zdrojům
Typ
článek v časopise
Jazyk
angličtina
Autoři
Bouajjani Ahmed (UPAR7)
Habermehl Peter (UPAR7)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT)
URL
Abstrakt

Článek navrhuje několik originálních výsledků týkajících se využití metody řezů k verifikaci parametrických systémů paralelních procesů s prioritním FIFO řízením přístupu ke sdíleným zdrojům.

Rok
2008
Strany
129-172
Časopis
Formal Methods in System Design, roč. 32, č. 2, ISSN 0925-9856
Vydavatel
Springer Verlag
BibTeX 
@ARTICLE{FITPUB8577,
   author = "Ahmed Bouajjani and Peter Habermehl and Tom\'{a}\v{s} Vojnar",
   title = "Verification of parametric concurrent systems with prioritised FIFO resource management",
   pages = "129--172",
   journal = "Formal Methods in System Design",
   volume = 32,
   number = 2,
   year = 2008,
   ISSN = "0925-9856",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/8577"
}
Nahoru