Monitoring Dynamical Signals While Testing Timed Aspects of a System

Goran Frehse, Kim G. Larsen, Marius Mikucionis, Brian Nielsen. Monitoring Dynamical Signals While Testing Timed Aspects of a System. In Burkhart Wolff, Fatiha Zaïdi, editors, Testing Software and Systems - 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011. Proceedings. Volume 7019 of Lecture Notes in Computer Science, pages 115-130, Springer, 2011. [doi]

@inproceedings{FrehseLMN11,
  title = {Monitoring Dynamical Signals While Testing Timed Aspects of a System},
  author = {Goran Frehse and Kim G. Larsen and Marius Mikucionis and Brian Nielsen},
  year = {2011},
  doi = {10.1007/978-3-642-24580-0_9},
  url = {http://dx.doi.org/10.1007/978-3-642-24580-0_9},
  researchr = {https://researchr.org/publication/FrehseLMN11},
  cites = {0},
  citedby = {0},
  pages = {115-130},
  booktitle = {Testing Software and Systems - 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011. Proceedings},
  editor = {Burkhart Wolff and Fatiha Zaïdi},
  volume = {7019},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-24579-4},
}