Structural decomposition of timed CPS and its application in real time testing

Oliver Meyer. Structural decomposition of timed CPS and its application in real time testing. PhD thesis, University of Bremen, 2002.

@phdthesis{de-5688,
  title = {Structural decomposition of timed CPS and its application in real time testing},
  author = {Oliver Meyer},
  year = {2002},
  note = {http://d-nb.info/971670889},
  researchr = {https://researchr.org/publication/de-5688},
  cites = {0},
  citedby = {0},
  school = {University of Bremen},
}