Person

Boris Wirtz

Research and Developement Division

Verkehr

 

Room

O118

Phone

+49 441 9722-539

Address

OFFIS

E-Mail

boris.wirtz [ A T ] uni-oldenburg.de

 

Publications

Title

Automatic verification of hybrid systems with large discrete state space

booktitle

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

Alle Autoren

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

Year

2006