Monitoring, testing, and abstractions of real -time specifications

Monica Brockmeyer. Monitoring, testing, and abstractions of real -time specifications. PhD thesis, University of Michigan, USA, 1999. [doi]

@phdthesis{us-1663,
  title = {Monitoring, testing, and abstractions of real -time specifications},
  author = {Monica Brockmeyer},
  year = {1999},
  url = {http://hdl.handle.net/2027.42/132080},
  researchr = {https://researchr.org/publication/us-1663},
  cites = {0},
  citedby = {0},
  school = {University of Michigan, USA},
}