Detail publikace

Computational Simulation Formalized by String-Relation Systems

ŠVEC, M. Computational Simulation Formalized by String-Relation Systems. Proceedings of the 7th International Conference on Information Systems Implementation and Modelling (ISIM '04). MARQ. Ostrava: 2004. p. 147-153. ISBN: 80-85988-99-2.
Název česky
Výpočetní simulace a jejich formalizace na základě řetězcově-relačních systémů
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Švec Martin, Ing., Ph.D.
Klíčová slova

formální modely, ekvivalence, simulace

Abstrakt

Článek formalizuje a studuje podobnost přepisovacích procesů v modelech formálních jazyků.

Rok
2004
Strany
147–153
Sborník
Proceedings of the 7th International Conference on Information Systems Implementation and Modelling (ISIM '04)
Řada
MARQ
ISBN
80-85988-99-2
Místo
Ostrava
BibTeX 
@inproceedings{BUT16934,
  author="Martin {Švec}",
  title="Computational Simulation Formalized by String-Relation Systems",
  booktitle="Proceedings of the 7th International Conference on Information Systems Implementation and Modelling (ISIM '04)",
  year="2004",
  series="MARQ",
  pages="147--153",
  address="Ostrava",
  isbn="80-85988-99-2"
}
Nahoru