Articles
Embedded Computing Design
• Dec 19, 2013
What will be hot in 2014 for Embedded and Mobile Software Development?
Embedded.com
• Aug 25, 2013
Contract-based programming: making software more reliable
Embedded.com
• Aug 06, 2013
SPARK 2014: Why I am backing a predictable winner
Vector Software
• Jun 24, 2013
Vector Software Announces Support for the AdaCore GNAT Pro Compiler for ARM Cortex
Electronic Specifier Automotive
• Jun 11, 2013
How Safe Are Our Roads?
heise Developer
• May 17, 2013
Nebenläufige Programmierung in Ada
Avionics Today
• May 13, 2013
Real-Time Operating Systems
IEEE Software
• May 03, 2013
Testing or Formal Verification: DO-178C Alternatives and Industrial Experience
Electronic Specifier's digital magazine
• Apr 03, 2013
Is it safe?
Embedded Computing Design
• Mar 12, 2013