Thao Dang. Model-Based Testing of Hybrid Systems. In Justyna Zander, Ina Schieferdecker, Pieter J. Mosterman, editors, Model-Based Testing for Embedded Systems. Computational Analysis, Synthesis, & Design Dynamic Systems, CRC Press, 2011. [doi]
@incollection{Dang11,
title = {Model-Based Testing of Hybrid Systems},
author = {Thao Dang},
year = {2011},
doi = {10.1201/b11321-15},
url = {https://doi.org/10.1201/b11321-15},
researchr = {https://researchr.org/publication/Dang11},
cites = {0},
citedby = {0},
booktitle = {Model-Based Testing for Embedded Systems},
editor = {Justyna Zander and Ina Schieferdecker and Pieter J. Mosterman},
series = {Computational Analysis, Synthesis, & Design Dynamic Systems},
publisher = {CRC Press},
isbn = {978-1-4398-1845-9},
}