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
Konference
7th International Conference on Information Systems Implementation and Modelling, Rožnov pod Radhošťem, CZ
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