[SystemSafety] Royal Society lecture "When to trust a self-driving car"

David Crocker dcrocker at eschertech.com
Sat Nov 17 10:27:26 CET 2018

Previous message (by thread): [SystemSafety] multi-core validation for aerospace
Next message (by thread): [SystemSafety] Kolmogorov complexity measures
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

This lecture may be of interest to members
https://royalsociety.org/science-events-and-lectures/2018/11/milner-lecture.

Regards

-- 
David Crocker, Escher Technologies Ltd.
http://www.eschertech.com
Tel. +44 (0)20 8144 3265 or +44 (0)7977 211486

Previous message (by thread): [SystemSafety] multi-core validation for aerospace
Next message (by thread): [SystemSafety] Kolmogorov complexity measures
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the systemsafety mailing list