John Rushby

John Rushby

SRI International
Dirección de correo verificada de csl.sri.com
Citado por 13907
Safety dependable systems formal verification certification assurance cases
Mallory S. Graydon

Mallory S. Graydon

NASA
Citado por 1971
safety-critical software software assurance safety cases assurance cases
Yutaka Matsuno

Yutaka Matsuno

Department of Computer Engineering, College of Science and Technology, Nihon University
Dirección de correo verificada de nihon-u.ac.jp
Citado por 313
Programming Languages Dependability Safety Assurance Cases
Carmen Carlan

Carmen Carlan

Scientific Staff
Dirección de correo verificada de fortiss.org
Citado por 58
certification assurance cases model-based development software verification