Formal Hazard Analysis of Hybrid Systems in cTLA.

Peter Herrmann, Heiko Krumm

Browse the full SRDS paper archive.