Dipl.-Inform. Boris Wirtz Scientific Researcher

Dipl.-Inform. Boris Wirtz
Contact
Activities

Position at OFFIS

Scientific Researcher

Research and Developement Division

Transportation / Safety & Security Oriented Design Methods & Processes

Competence Cluster

Safety Relevant Cyber Physical Systems (SRCPS)

News

+49 441 9722-539

boris.wirtz(at)offis.de

O118

OFFIS - Institut für Informatik
Escherweg 2
26121 Oldenburg
GERMANY

Publications
of Dipl.-Inform. 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