Abstract A Tool for Hazard Detection in Hybrid Systems

Cached

Download Links

by Peter Herrmann , Fachbereich Informatik Ls , Peter Grannas