Techniques and tools for model-based design and analysis of embedded real-time software

Zonghua Gu. Techniques and tools for model-based design and analysis of embedded real-time software. PhD thesis, University of Michigan, USA, 2004. [doi]

@phdthesis{us-2077,
  title = {Techniques and tools for model-based design and analysis of embedded real-time software},
  author = {Zonghua Gu},
  year = {2004},
  url = {http://hdl.handle.net/2027.42/124418},
  researchr = {https://researchr.org/publication/us-2077},
  cites = {0},
  citedby = {0},
  school = {University of Michigan, USA},
}