Publication Details

Formální modely a simulace ve vývoji softwarových systémů

JANOUŠEK Vladimír and KOČÍ Radek. Formální modely a simulace ve vývoji softwarových systémů. In: Proceedings of ASIS'06. Ostrava, 2006, pp. 164-169. ISBN 8086840263.
English title
Formal Models and Simulation in the Software System Development
Type
conference paper
Language
czech
Authors
Keywords

Formal models, Petri Nets, Object Oriented Petri Nets, UML, Model Based Development

Abstract

The paper discuss possible advantages of the application of formal models and simulation in the process of software systems development.

Published
2006
Pages
164-169
Proceedings
Proceedings of ASIS'06
Conference
28th International Autumn Colloquium Advanced Simulation of Systems - ASIS 2006, Vranov (u Brna), CZ
ISBN
8086840263
Place
Ostrava, CZ
BibTeX
@INPROCEEDINGS{FITPUB8155,
   author = "Vladim\'{i}r Janou\v{s}ek and Radek Ko\v{c}\'{i}",
   title = "Form\'{a}ln\'{i} modely a simulace ve v\'{y}voji softwarov\'{y}ch syst\'{e}m\r{u}",
   pages = "164--169",
   booktitle = "Proceedings of ASIS'06",
   year = 2006,
   location = "Ostrava, CZ",
   ISBN = "8086840263",
   language = "czech",
   url = "https://www.fit.vut.cz/research/publication/8155"
}
Back to top