Dipl.-Inform. Johannes Faber

 

1 Theses (BibTeX Source)

@PHDTHESIS{Faber2011,
  AUTHOR = {Johannes Faber},
  TITLE = {Verification {A}rchitectures for Complex Real-Time Systems},
  SCHOOL = {University of Oldenburg},
  YEAR = {2011},
  URL = {http://csd.informatik.uni-oldenburg.de/~jfaber/dl/Faber2011.pdf}
}


@MASTERSTHESIS{fab04,
  AUTHOR = {J. Faber},
  TITLE = {{Fehlerbaumverifikation durch Modelchecking mit Uppaal}},
  SCHOOL = {Universität Oldenburg},
  YEAR = {2004},
  URL = {http://csd.informatik.uni-oldenburg.de/~jfaber/dl/FehlerbaumverifikationMitUppaal.pdf},
}