Reducing complexity for the verification of statemate designs

von Bienmüller, Tom
Veröffentlicht 2003

Reducing complexity for the verification of STATEMATE designs : Dissertation

von Bienmüller, Tom
Veröffentlicht 2003

Reducing complexity for the verification of STATEMATE designs : Dissertation

von Bienmüller, Tom
Veröffentlicht 2003

Komponententest von modelbasierten Funktionen im MIL/SIL und PIL : Test mit Anwendungen von formalen Testmethoden

von Kock, Peter
Veröffentlicht in Simulation und Test in der Funktions- und Softwareentwicklung für die Automobilelektronik II (2008)

Two Decades of Formal Methods in Industrial Products at BTC Embedded Systems

von Teige, Tino
Veröffentlicht in FM (24. : 2021 : Online) Formal Methods (2021)

Accurate dead code detection in embedded C code by arithmetic constraint solving : (extended abstract)

von Neubauer, Felix
Veröffentlicht in Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (20. : 2017 : Bremen) Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (2017)