Correct System Design

Dr. Jochen Hoenicke

On this page:

back to the mainpage.

 

go next top of page

1 Theses (BibTeX Source)


@PHDTHESIS{jh2006,
  AUTHOR = {Jochen Hoenicke},
  TITLE = {{Combination of Processes, Data, and Time}},
  SCHOOL = {University of Oldenburg},
  URL = {http://csd.Informatik.Uni-Oldenburg.DE/~skript/pub/Papers/csp-oz-dc.pdf},
  MONTH = {July},
  YEAR = {2006}
}


@MASTERSTHESIS{jh99-mt,
  AUTHOR = {Jochen Hoenicke},
  TITLE = {{Graphische Spezifikationsspachen: Der Zusammenhang zwischen Constraint Diagrams und Real-Time Symbolic Timing Diagrams}},
  SCHOOL = UNIOL-FB10,
  YEAR = 1999
}

 top of page go back