Model-based Testing and Monitoring for Hybrid Embedded Systems.

Li Tan, Jesung Kim, Oleg Sokolsky, Insup Lee

Browse the full IRI paper archive.