BTC ES Aktuelles

11.05.2015 - Dr. Udo Brockmeyer (CEO, BTC Embedded Systems AG) hält am 20. Mai 2015 den Vortrag: "Verifikation hoch-autonomer Systeme mittels formaler mehr >>

24.04.2015 - Dr. Udo Brockmeyer (CEO, BTC Embedded Systems AG) hält am 8. Juli 2015 den Vortrag: "Verbesserter Verifikationsprozess mittels formaler mehr >>

24.02.2015 - Wir freuen uns darauf Sie vom 24.02. bis 26.02.2015 am Messestand der EmbeddedWorld über folgende Neuheiten informieren zu können: BTC mehr >>

23.07.2014 - Heute hat die BTC Embedded Systems AG die neue BTC EmbeddedPlatform Version 1.2p0 auf den Markt gebracht! Die Platform beinhaltet: BTC mehr >>

16.07.2014 - Dr. Udo Brockmeyer, Vorstand der BTC Embedded Systems AG, hält den Vortrag "Modellbasierter Unit-Test von Embedded-Automotive-Software" mehr >>


BTC Embedded Systems AG

Weniger Limits,
Mehr Creative Engineering

Mit hochautomatisierter Test- und Verifikations-Technologie.

mehr>>

BTC EmbeddedSpecifier

Mit Leichtigkeit in die formale Welt
 
Von der informellen, über die semi-formale bis zur formalen Anforderungs-Spezifikation.


mehr>>

BTC EmbeddedValidator

Beweisen Sie es sich

 

100 %ige Sicherheit bei der formalen Verifikation von TargetLink-Modellen.

 

mehr>>

BTC EmbeddedTester

Doppelt so schnell am Ziel

Eine zertifizierte, hochintegrierte und vollautomatisierte Testumgebung für den Auto-Code Generator TargetLink.

mehr>>