Detail publikace

Analysis and Verification Queries over Object-Oriented Petri Nets

ČEŠKA Milan, JANOUŠEK Vladimír a VOJNAR Tomáš. Analysis and Verification Queries over Object-Oriented Petri Nets. In: Formal Methods and Tools for Computer Science, Eurocast 2001, Extended Abstracts. Las Palmas de Gran Canaria, Canary Islands, Spain: Universidad de Las Palmas de Gran Canaria, 2001, s. 115-118. ISBN 84-699-3971-8.
Název česky
Specifikace dotazů při formální analýze a verifikaci nad objektově orientovanými Petriho sítěmi
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Češka Milan, Prof. RNDr., CSc. (UIVT FEI VUT)
Janoušek Vladimír, Ing., Ph.D. (UIVT FEI VUT)
Vojnar Tomáš, Ing., Ph.D. (UIVT FEI VUT)
Abstrakt

Článek zkoumá a navrhuje několik způsobů specifikace vlastností ověřovaných pomocí formální analýzy a verifikace nad stavovými prosotory objektově orientovaných Petriho sítí.

Rok
2001
Strany
115-118
Sborník
Formal Methods and Tools for Computer Science, Eurocast 2001, Extended Abstracts
Konference
8th International Conference on Computer Aided Theory and Technology, EUROCAST'01, Las Palmas de Gran Canaria, Canary Islands, ES
ISBN
84-699-3971-8
Vydavatel
Universidad de Las Palmas de Gran Canaria
Místo
Las Palmas de Gran Canaria, Canary Islands, Spain, ES
BibTeX 
@INPROCEEDINGS{FITPUB6570,
   author = "Milan \v{C}e\v{s}ka and Vladim\'{i}r Janou\v{s}ek and Tom\'{a}\v{s} Vojnar",
   title = "Analysis and Verification Queries over Object-Oriented Petri Nets",
   pages = "115--118",
   booktitle = "Formal Methods and Tools for Computer Science, Eurocast 2001, Extended Abstracts",
   year = 2001,
   location = "Las Palmas de Gran Canaria, Canary Islands, Spain, ES",
   publisher = "University of Las Palmas",
   ISBN = "84-699-3971-8",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/6570"
}
Nahoru