×

Found 18 Documents (Results 1–18)

Robust test generation and coverage for hybrid systems. (English) Zbl 1221.93076

Bemporad, Alberto (ed.) et al., Hybrid systems: computation and control. 10th international conference, HSCC 2007, Pisa, Italy, April 3–5, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-71492-7/pbk). Lecture Notes in Computer Science 4416, 329-342 (2007).
MSC:  93B51 93C30
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 3

Main Field