ACCESS: Assurance Case Centric Engineering of Safety–critical Systems von Wei, Ran, Foster, Simon, Mei, Haitao, Yan, Fang, Yang, Ruizhe, Habli, Ibrahim, O’Halloran, Colin, Tudor, Nick, Kelly, Tim, Nemouchi, Yakoub

Volltext

Automated verification of code automatically generated from Simulink von O’Halloran, Colin

Volltext

Verifying cyber attack properties von O'Halloran, Colin, Robinson, Tom Gibson, Brock, Neil

Volltext

From control law diagrams to Ada via Circus von Cavalcanti, Ana, Clayton, Phil, O’Halloran, Colin

Volltext

Test-data generation for control coverage by proof von Cavalcanti, Ana, King, Steve, O’Halloran, Colin, Woodcock, Jim

Volltext

A Super Industrial Application of PSGraph von Lin, Yuhui, Grov, Gudmund, O’Halloran, Colin, G., Priiya

Volltext

Control Law Diagrams in Circus von Cavalcanti, Ana, Clayton, Phil, O’Halloran, Colin

Volltext

Using the Compliance Notation in Industry von Clayton, Phil, O’Halloran, Colin

Volltext

Guess and Verify – Back to the Future von O’Halloran, Colin

Volltext

Model Based Code Verification von O’Halloran, Colin

Volltext

From control law diagrams to Ada via von Cavalcanti, Ana, Clayton, Phil, O'Halloran, Colin

Volltext

Where Is the Value in a Program Verifier? von O’Halloran, Colin

Volltext

ACCESS:Assurance Case Centric Engineering of Safety-critical Systems von Wei, Ran, Foster, Simon David, Mei, Haitao, Yan, Fang, Yang, Ruizhe, Habli, Ibrahim, O'Halloran, Colin, Tudor, Nick, Kelly, Tim, Nemouchi, Yakoub

Volltext bestellen

ACCESS: Assurance Case Centric Engineering of Safety-critical Systems von Wei, Ran, Foster, Simon, Mei, Haitao, Fang, Yan, Yang, Ruizhe, Habli, Ibrahim, O'Halloran, Colin, Tudor, Nick, Kelly, Tim, Nemouchi, Yakoub

Volltext

Security and Interoperability for MANETs and a Fixed Core von O’Halloran, Colin, Bates, Andy

Volltext

Formal Model-Based Assurance Cases in Isabelle/SACM:An Autonomous Underwater Vehicle Case Study von Foster, Simon David, Nemouchi, Yakoub, O'Halloran, Colin, Tudor, Nick, Stephenson, Karen

Volltext bestellen

FDR: From Theory to Industrial Application von Gibson-Robinson, Thomas, Broadfoot, Guy, Carvalho, Gustavo, Hopcroft, Philippa, Lowe, Gavin, Nogueira, Sidney, O’Halloran, Colin, Sampaio, Augusto

Volltext

I Kaptured the System von O’Halloran, Colin, Simmonds, William, Tudor, Nick

Volltext

ACCESS: Assurance Case Centric Engineering of Safety-critical Systems von Wei, Ran, Foster, Simon, Mei, Haitao, Yan, Fang, Yang, Ruizhe, Habli, Ibrahim, O’Halloran, Colin, Tudor, Nick, Kelly, Tim

Volltext bestellen

Trusted system construction von O'Halloran, C.

Volltext