Downloads



 Significant Quality and Performance Gains through Fully Automated Back-to-Back Testing

         (Hans J. Holberg, Dr. Udo Brockmeyer)


 ISO 26262 compliant verification of functional requirements in the model-based software development process

         (Hans J. Holberg, Dr. Udo Brockmeyer)


 Computer-aided Formal Specification to enable a fully automated Requirements-based Testing Process

         (Hans J. Holberg, Dr. Udo Brockmeyer)


 From Safety Requirements to Safety Monitors – Automatic Synthesis in Compliance with ISO 26262

         (Hans J. Holberg, Dr.-Ing Stefan Häusler)


 Beyond MC/DC Coverage Testing

         (Hans J. Holberg, Dr.-Ing Stefan Häusler)


 Formal Verification for safety critical requirements

         (Markus Gros, Hans J. Holberg)





Kontakt

Vereinbaren Sie einen Termin mit uns.

Tel: +49 441 96 97 38-0

E-Mail: info@btc-es.de