Článek ve sborníku konference

 
Kočí, R., Janoušek, V.: 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, ES, IUCTC, 2011, s. 1-2, ISBN 978-84-693-9560-8
Jazyk publikace:angličtina
Název publikace:On the Simulation-Based Development of Systems Using Petri Nets
Název (cs):Vývoj systémů s využitím Petriho sítí
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
Místo vydání:Las Palmas de Gran Canaria, ES
Rok:2011
ISBN:978-84-693-9560-8
Vydavatel:Universidad de Las Palmas de Gran Canaria
Klíčová slova
Simulation, Modelling, System Design, Petri Nets
Anotace
Č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.
BibTeX:
@INPROCEEDINGS{
   author = {Radek Kočí and Vladimír Janouš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 = {http://www.fit.vutbr.cz/research/view_pub.php?id=9493}
}