Publication Details

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

JANOUŠEK, V.; KOČÍ, R. Formální modely a simulace ve vývoji softwarových systémů. Proceedings of ASIS'06. Ostrava: MARQ, 2006. s. 164-169. ISBN: 8086840263.
English title
Formal Models and Simulation in the Software System Development
Type
conference paper
Language
Czech
Authors
Janoušek Vladimír, doc. Ing., Ph.D. (DITS)
Kočí Radek, Ing., Ph.D. (DITS)
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
ISBN
8086840263
Publisher
MARQ
Place
Ostrava
BibTeX 
@inproceedings{BUT22254,
  author="Vladimír {Janoušek} and Radek {Kočí}",
  title="Formální modely a simulace ve vývoji softwarových systémů",
  booktitle="Proceedings of ASIS'06",
  year="2006",
  pages="164--169",
  publisher="MARQ",
  address="Ostrava",
  isbn="8086840263"
}
Back to top