BTC ES Aktuelles

22.03.2013 - Bisher stellte das formale Spezifizieren für die meisten Ingenieure eine unüberwindbare Hürde dar: die Verfahren sind zu mathematisch und damit mehr >>

16.03.2013 - Heute hat die BTC Embedded Systems AG die neue BTC EmbeddedTester Version 3.0p0 auf den Markt gebracht! Unser Ansprechpartner für Kunden, die an mehr >>

08.02.2013 - Folgende Vorträge (www.embedded-world.eu/program.html) sollten Sie sich nicht entgehen lassen: Leveraging from the Combination of Model-based mehr >>

08.02.2013 - Dr. Udo Brockmeyer (CEO) und Dr. Tom Bienmüller (Lead Product Manager) halten einen richtungsweisenden Vortrag auf der safe.tech 2013 mehr >>

22.02.2013 - Auf der diesjährigen Embedded World in Nürnberg wird die BTC Embedded Systems AG die Weltneuheit BTC EmbeddedSpecifier im Zusammenspiel mit dem 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>>