Produkt

Entwicklungswerkzeuge

Formal verifizierter Compiler

Der CompCert-Compiler

Der Aufwand, der betrieben wird, um sicherheitskritische Software zu schreiben, ist hinfällig, wenn der Compiler Fehler macht. Mit dem ­CompCert-C-Compiler existiert ein Tool, für das formal nachgewiesen wurde, dass der erzeugte Code mit der Semantik…

Gesucht wird

Ein 3-Phasen-Brückengleichrichtermodul

Ich benötige ein 3-Phasen-Brückengleichrichtermodul für einen Drei-Phasen-Stromeingang bei…

Farnell element14

Raspberry Pi 3 IoT-Einsteigerkit

Farnell element14 hat in Zusammenarbeit mit IBM ein innovatives IoT-Einsteigerkit…

Entwicklungstool

Schnelles Tracing für Cortex-M

Segger ergänzt sein Sortiment an Entwicklungstools um ein Cortex-M Trace Reference Board.…

Starter-Kit für Industrie 4.0 und IoT

Schnell verbunden

Digi International bietet mit »ConnectCore« für das i.MX6UL-Starter-Kit eine komplette…

Arrow Electronics

EMEA-Vertriebsvereinbarung mit Novasom Industries

Arrow Electronics hat eine Vertriebsvereinbarung mit Novasom Industries, einem weltweit…

STMicroelectronics

LoRa-Entwicklungs-Kit für IoT-Geräte

Das kostengünstige Entwicklungs-Kit von STMicroelectronics eignet sich für das Prototyping…

Future Electronics

Drahtlose Zugangskontrollboards - als Demo präsentiert

Future Electronics bietet Besuchern der electronica (München, 8. - 11. November 2016) auf…

Arrow Electronics

LoRa-Entwicklungs-Board erweitert das Produktangebot

Arrow Electronics hat sein Portfolio mit der Einführung des SmartEverything-LION-Boards…

Bürklin Elektronik

Röhrenverstärker als Entwicklungsprojekt

Bürklin Elektronik stellt auf der Maker Faire in Berlin aus. Diese findet vom 30.09. -…