Publication detail

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

Original Title

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

Czech Title

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

Language

cs

Original Abstract

Článek diskutuje možné výhody aplikace formálních modelů a simulace ve procesu vývoje softwarových systémů.

Czech abstract

Článek diskutuje možné výhody aplikace formálních modelů a simulace ve procesu vývoje softwarových systémů.

BibTex


@inproceedings{BUT22254,
  author="Vladimír {Janoušek} and Radek {Kočí}",
  title="Formální modely a simulace ve vývoji softwarových systémů",
  annote="Článek diskutuje možné výhody aplikace formálních modelů a simulace ve procesu
vývoje softwarových systémů.",
  address="MARQ",
  booktitle="Proceedings of ASIS'06",
  chapter="22254",
  institution="MARQ",
  year="2006",
  month="september",
  pages="164--169",
  publisher="MARQ",
  type="conference paper"
}