DMCA

http://repository.upenn.edu/cis papers/260Model-based Testing and Monitoring for Hybrid Embedded Systems ∗

Cached


by Li Tan , Jesung Kim , Insup Lee , Li Tan , Jesung Kim , Oleg Sokolsky , Insup Lee