Článek ve sborníku konference

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.
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{\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 = {http://www.fit.vutbr.cz/research/view_pub.php.cs?id=9493}
}

Vaše IPv4 adresa: 54.80.60.91
Přepnout na IPv6 spojení

DNSSEC [dnssec]