BTC ES Aktuelles

20.03.2014 - BTC Embedded Systems repräsentiert Model-Based Testing auf dem Rational Rhapsody und DOORS Users Group Summit 2014 vom 22. bis zum 23.05.2014 mehr >>

13.03.2014 - Dr. Udo Brockmeyer (CEO) hält einen Vortrag auf dem Tool Qualification Symposium 2014 in München: (www.validas.de/TQS/2014/program.html) mit dem mehr >>

17.12.2013 - Heute hat die BTC Embedded Systems AG die neue EmbeddedValidator Version 4.2p0 auf den Markt gebracht! BTC EmbeddedValidator ist nun in der Lage mehr >>

16.12.2013 - Rational Rhapsody in sicherheitskritischen Systemen Firmen die Sicherheitskritische Systeme  gemäß Standards wie ISO 26262, IEC 62304, EN mehr >>

14.11.2013 - Dr. Udo Brockmeyer (CEO) hält einen gemeinsamen Vortrag mit Philipp Helle von EADS Innovation Works auf der IBM Innovate Konferenz in 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>>