Detail výsledku

TReX and IF

MATOUŠEK, P. TReX and IF. ParaDiSe seminary, FI MU Brno: 2005. 38 p.
Typ
přednáška
Jazyk
anglicky
Autoři
Matoušek Petr, doc. Ing., Ph.D., M.A., CESA (CESA), FIT (FIT), UIFS (FIT)
Klíčová slova

parametric analysis, timed model-checker, TReX

URL
Rok
2005
Strany
38
Místo
ParaDiSe seminary, FI MU Brno
BibTeX 
@misc{BUT64632,
  author="Petr {Matoušek}",
  title="TReX and IF",
  year="2005",
  pages="38",
  address="ParaDiSe seminary, FI MU Brno",
  url="http://www.fit.vutbr.cz/~matousp/doc/2005/trex-intro.pdf"
}
Pracoviště
Ústav informačních systémů (UIFS)
Nahoru