Detail publikace

TReX and IF

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

parametric analysis, timed model-checker, TReX

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",
  note="lecture"
}
Nahoru