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}, }