Detail publikace

Optimizing an LTS-Simulation Algorithm

HOLÍK, L.; ŠIMÁČEK, J. Optimizing an LTS-Simulation Algorithm. FIT-TR-2009-03, Brno: 2009. p. 0-0.
Název česky
Optimalizace algoritmu pro výpočet relace simulace
Typ
zpráva odborná
Jazyk
anglicky
Autoři
Holík Lukáš, doc. Mgr., Ph.D. (UITS)
Šimáček Jiří, Ing., Ph.D.
URL
Klíčová slova

simulation, labeled transition system, finite automata, tree automata

Abstrakt

Optimalizace algoritmu pro výpočet relací simulace nad přechodovými systémy s návěštími (PSsN). 

Rok
2009
Strany
17
Místo
FIT-TR-2009-03, Brno
BibTeX 
@techreport{BUT192697,
  author="Lukáš {Holík} and Jiří {Šimáček}",
  title="Optimizing an LTS-Simulation Algorithm",
  year="2009",
  address="FIT-TR-2009-03, Brno",
  pages="17",
  url="http://www.fit.vutbr.cz/~holik/pub/FIT-TR-2009-03.pdf"
}
Nahoru