Journal article
Specification-Guided Analysis of Hybrid Systems Using a Hierarchy of Validation Methods.
Publication Details
Authors: | Stursberg, O.; Fehnker, A.; Han, Z.; Krogh, B. |
Publication year: | 2003 |
Journal: | IFAC Conf. on Analysis and Design of Hybrid Systems |
Pages range : | 289–295 |
