Article
Jan 21 '21
The Place for MISRA C in Safe & Secure Programming – A Comparison with SPARK
Published in Embedded Computing Design
The author compares and contrasts safety and security when programming in MISRA C versus programming in SPARK and Ada.
