Cargando...
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos
Perfiles
Mi perfil
Mi biblioteca
Estadísticas
Alertas
Configuración
Iniciar sesión
Iniciar sesión
Perfiles
Mi perfil
Mi biblioteca
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
NASA
Citado por 1971
safety-critical software
software assurance
safety cases
assurance cases
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
Scientific Staff
Dirección de correo verificada de fortiss.org
Citado por 58
certification
assurance cases
model-based development
software verification
Ayuda
Privacidad
Condiciones