December 2019 Archives by thread

• Messages sorted by: [ subject ] [ author ] [ date ]
• More info on this list...

Starting: Thu Dec 5 06:58:41 CET 2019
Ending: Sun Dec 29 22:34:12 CET 2019
Messages: 37

• [SystemSafety] Duty of Care, and Hazard + Risk Analysis   Peter Bernard Ladkin
• [SystemSafety] 7% of mistakes in Coq proofs go undetected   David MENTRÉ
  • [SystemSafety] 7% of mistakes in Coq proofs go undetected   Derek M Jones
    • [SystemSafety] 7% of mistakes in Coq proofs go undetected   Derek M Jones
• [SystemSafety] Number Theorist Fears All Published Math Is Wrong   David MENTRÉ
  • [SystemSafety] Number Theorist Fears All Published Math Is Wrong   Derek M Jones
    • [SystemSafety] Number Theorist Fears All Published Math Is Wrong   David MENTRÉ
      • [SystemSafety] Number Theorist Fears All Published Math Is Wrong   Derek M Jones
      • [SystemSafety] Number Theorist Fears All Published Math Is Wrong   David MENTRÉ
• [SystemSafety] How Serious Are You About Cyber Security For Power Systems?   Chuck Petras
• [SystemSafety] Automatic program repair workshop   Derek M Jones
  • [SystemSafety] Automatic program repair workshop   Derek M Jones
• [SystemSafety] Request for references on measures to manage failures for homogeneous sensor redundancy   Watts Malcolm (AE-BE/ENG1-AU)
  • [SystemSafety] Request for references on measures to manage failures for homogeneous sensor redundancy   Mike Ellims
  • [SystemSafety] Request for references on measures to manage failures for homogeneous sensor redundancy   Peter Bernard Ladkin
  • [SystemSafety] Request for references on measures to manage failures for homogeneous sensor redundancy   paul_e.bennett at topmail.co.uk
    • [SystemSafety] Request for references on measures to manage failures for homogeneous sensor redundancy   Peter Bernard Ladkin
      • [SystemSafety] Our relationship to Autonomous Robots   paul_e.bennett at topmail.co.uk
• [SystemSafety] Failure Modes in ML   Peter Bernard Ladkin
  • [SystemSafety] Failure Modes in ML   Ganesh J. Pai
  • [SystemSafety] Failure Modes in ML   Derek M Jones
    • [SystemSafety] Failure Modes in ML   Peter Bernard Ladkin
      • [SystemSafety] Failure Modes in ML   Derek M Jones
      • [SystemSafety] Failure Modes in ML   Peter Bernard Ladkin
  • [SystemSafety] Failure Modes in ML   Bruce Hunter
    • [SystemSafety] Failure Modes in ML   Peter Bernard Ladkin
      • [SystemSafety] Failure Modes in ML   Martyn Thomas
      • [SystemSafety] Failure Modes in ML   Peter Bishop
      • [SystemSafety] Failure Modes in ML   Peter Bernard Ladkin
      • [SystemSafety] Failure Modes in ML   Bruce Hunter
• [SystemSafety] Safety-Critical Systems Symposium 2020 in York in February   Peter Bernard Ladkin
• [SystemSafety] Putting Agile into a longer perspective   WALTER, Dariusz
  • [SystemSafety] Putting Agile into a longer perspective   WALTER, Dariusz
• [SystemSafety] Law Commission thinks software is perfect   Derek M Jones
  • [SystemSafety] Law Commission thinks software is perfect   Martyn Thomas
• [SystemSafety] Fwd: [Concurrency] 2 PhD + 2 Postdocs on ERC project CAESAR: integrating safety and cybersecurity through stochastic model checking.   Peter Bernard Ladkin
• [SystemSafety] Empirical software engineering book   Derek M Jones

Last message date: Sun Dec 29 22:34:12 CET 2019
Archived on: Sun Dec 29 22:34:25 CET 2019

• Messages sorted by: [ subject ] [ author ] [ date ]
• More info on this list...