Automatic verification of hybrid systems with large discrete state space

Buchtitel

Proceedings of the 4th International Symposium on Automated Technology for Verification and Analysis (ATVA'06)

Alle Autoren

Damm, W.; Disch, S.; Hungar, H.; Pang, J.; Pigorsch, F.; Scholl, C.; Waldmann, U.; Wirtz, B.

Jahr

2006