Model-based Testing and Monitoring for Hybrid Embedded Systems

Li Tan, Jesung Kim, Oleg Sokolsky, Insup Lee. Model-based Testing and Monitoring for Hybrid Embedded Systems. In Du Zhang, Éric Grégoire, Doug DeGroot, editors, Proceedings of the 2004 IEEE International Conference on Information Reuse and Integration, IRI - 2004, November 8-10, 2004, Las Vegas Hilton, Las Vegas, NV, USA. pages 487-492, IEEE Systems, Man, and Cybernetics Society, 2004.

@inproceedings{TanKSL04,
  title = {Model-based Testing and Monitoring for Hybrid Embedded Systems},
  author = {Li Tan and Jesung Kim and Oleg Sokolsky and Insup Lee},
  year = {2004},
  tags = {rule-based, testing},
  researchr = {https://researchr.org/publication/TanKSL04},
  cites = {0},
  citedby = {0},
  pages = {487-492},
  booktitle = {Proceedings of the 2004 IEEE International Conference on Information Reuse and Integration, IRI - 2004, November 8-10, 2004, Las Vegas Hilton, Las Vegas, NV, USA},
  editor = {Du Zhang and Éric Grégoire and Doug DeGroot},
  publisher = {IEEE Systems, Man, and Cybernetics Society},
  isbn = {0-7803-8819-4},
}