Detail publikace

Computational Simulation Formalized by String-Relation Systems

ŠVEC Martin. Computational Simulation Formalized by String-Relation Systems. In: Proceedings of the 7th International Conference on Information Systems Implementation and Modelling (ISIM '04). MARQ. Ostrava: MARQ, 2004, s. 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
angličtina
Autoři
Švec Martin, Ing. (UIFS FIT VUT)
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
Vydavatel
MARQ
Místo
Ostrava, CZ
BibTeX 
@INPROCEEDINGS{FITPUB7441,
   author = "Martin \v{S}vec",
   title = "Computational Simulation Formalized by String-Relation Systems",
   pages = "147--153",
   booktitle = "Proceedings of the 7th International Conference on Information Systems Implementation and Modelling (ISIM '04)",
   series = "MARQ",
   year = 2004,
   location = "Ostrava, CZ",
   ISBN = "80-85988-99-2",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/7441"
}
Nahoru