Boris Wirtz Wissenschaftlicher Mitarbeiter

Boris Wirtz
Kontaktdaten
Tätigkeiten

Position im OFFIS

Wissenschaftlicher Mitarbeiter

Forschungsbereiche

Verkehr / Safety & Security Oriented Design Methods & Processes

Competence Cluster

Safety Relevant Cyber Physical Systems (SRCPS)

News

+49 441 9722-539

boris.wirtz(at)uni-oldenburg.de

O 118

OFFIS - Institut für Informatik
Escherweg 2
26121 Oldenburg

Publikationen
von Boris Wirtz

2006

Automatic verification of hybrid systems with large discrete state space

Damm, W. and Disch, S. and Hungar, H. and Pang, J. and Pigorsch, F. and Scholl, C. and Waldmann, U. and Wirtz, B.; Proceedings of the 4th International Symposium on Automated Technology for Verification and Analysis (ATVA'06); 01 / 2006

BIB