Detail publikace

On the Simulation-Based Development of Systems Using Petri Nets

KOČÍ Radek a JANOUŠEK Vladimír. On the Simulation-Based Development of Systems Using Petri Nets. In: Proceedings of the 13th International Conference on Computer Aided Systems Theory. Las Palmas de Gran Canaria: Universidad de Las Palmas de Gran Canaria, 2011, s. 1-2. ISBN 978-84-693-9560-8.
Název česky
Vývoj systémů s využitím Petriho sítí
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Kočí Radek, Ing., Ph.D. (UITS FIT VUT)
Janoušek Vladimír, doc. Ing., Ph.D. (UITS FIT VUT)
Abstrakt

Článek se zaměřuje na techniku vývoje systémů nazvanou Simulation-Based Design. Tato technika je chápána jako souhrn technik a nástrojů založený na formálních modelech, technice model continuity a simulačních technikách. Cílem je zvýšit výkon a spolehlivost vývojových procesů a nasazení softwarového produktu.

Rok
2011
Strany
1-2
Sborník
Proceedings of the 13th International Conference on Computer Aided Systems Theory
Konference
Thirteen International Conference On Computer Aided Systems Theory, Las Palmas de Gran Canaria, Canary Islands, ES
ISBN
978-84-693-9560-8
Vydavatel
Universidad de Las Palmas de Gran Canaria
Místo
Las Palmas de Gran Canaria, ES
BibTeX 
@INPROCEEDINGS{FITPUB9493,
   author = "Radek Ko\v{c}\'{i} and Vladim\'{i}r Janou\v{s}ek",
   title = "On the Simulation-Based Development of Systems Using Petri Nets",
   pages = "1--2",
   booktitle = "Proceedings of the 13th International Conference on Computer Aided Systems Theory",
   year = 2011,
   location = "Las Palmas de Gran Canaria, ES",
   publisher = "The Universidad de Las Palmas de Gran Canaria",
   ISBN = "978-84-693-9560-8",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/9493"
}
Nahoru