Detail publikace

Analysis and Verification Queries over Object-Oriented Petri Nets

ČEŠKA, M.; JANOUŠEK, V.; VOJNAR, T. Analysis and Verification Queries over Object-Oriented Petri Nets. Formal Methods and Tools for Computer Science, Eurocast 2001, Extended Abstracts. Las Palmas de Gran Canaria, Canary Islands, Spain: University of Las Palmas, 2001. p. 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
anglicky
Autoři
Češka Milan, prof. RNDr., CSc.
Janoušek Vladimír, doc. Ing., Ph.D. (UITS)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS)
Klíčová slova

object-oriented Petri nets, formal analysis and verification, state spaces

Abstrakt

Článek zkoumá a navrhuje několik způsobů specifikace vlastnostíověřovaných pomocí formální analýzy a verifikace nad stavovýmiprosotory 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
University of Las Palmas
Místo
Las Palmas de Gran Canaria, Canary Islands, Spain
BibTeX 
@inproceedings{BUT5420,
  author="Milan {Češka} and Vladimír {Janoušek} and Tomáš {Vojnar}",
  title="Analysis and Verification Queries over Object-Oriented Petri Nets",
  booktitle="Formal Methods and Tools for Computer Science, Eurocast 2001, Extended Abstracts",
  year="2001",
  pages="115--118",
  publisher="University of Las Palmas",
  address="Las Palmas de Gran Canaria, Canary Islands, Spain",
  isbn="84-699-3971-8"
}
Nahoru