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ů. In 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"
}