[SystemSafety] systemsafety Digest, Vol 74, Issue 8

Derek M Jones derek at knosof.co.uk
Thu Sep 13 13:17:34 CEST 2018

Previous message (by thread): [SystemSafety] systemsafety Digest, Vol 74, Issue 8
Next message (by thread): [SystemSafety] CfP Reliability, safety and security of railway systems (RSSRail 2019)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Rod,

> More crazy talk I'm afraid. Compare with SPARK Ada - there's really no
> contest at all.

There is certainly no contest on the soap powder marketing front.


-- 
Derek M. Jones           Software analysis
tel: +44 (0)1252 520667  blog:shape-of-code.coding-guidelines.com

Previous message (by thread): [SystemSafety] systemsafety Digest, Vol 74, Issue 8
Next message (by thread): [SystemSafety] CfP Reliability, safety and security of railway systems (RSSRail 2019)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the systemsafety mailing list