Detail publikace
Specifying Properties of Systems To Be Checked Using Their Object-Oriented Petri Net-Based Models
VOJNAR Tomáš. Specifying Properties of Systems To Be Checked Using Their Object-Oriented Petri Net-Based Models. In: Proceedings of 21st International Workshop on Advanced Simulation of Systems ASIS'99. Krnov: MARQ, 1999, s. 219-224. ISBN 80-85988-41-0.
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Vojnar Tomáš, Ing., Ph.D. (UIVT FEI VUT)
Abstrakt
The article discusses several possible ways of specifying properties of systems to be checked via formal analysis or verification on the state spaces of their models based on object-oriented Petri nets.
Rok
1999
Strany
219-224
Sborník
Proceedings of 21st International Workshop on Advanced Simulation of Systems ASIS'99
Ročník
0
ISBN
80-85988-41-0
Vydavatel
MARQ
Místo
Krnov, CZ
BibTeX
@INPROCEEDINGS{FITPUB6563, author = "Tom\'{a}\v{s} Vojnar", title = "Specifying Properties of Systems To Be Checked Using Their Object-Oriented Petri Net-Based Models", pages = "219--224", booktitle = "Proceedings of 21st International Workshop on Advanced Simulation of Systems ASIS'99", number = "Acta MOS", year = 1999, location = "Krnov, CZ", ISBN = "80-85988-41-0", language = "english", url = "https://www.fit.vut.cz/research/publication/6563" }