Among other things, Hitex produces development tools for safety-critical software; here expert Frank Büchner explains the software to visitors.
