Experiences using lightweight formal methods for requirements modeling

Materias

• Fault detection
• Formalism
• Fault tolerance
• Software engineering
• Computer aided design

Ediciones (1)

• Experiences using lightweight formal methods for requirements modeling (1997)

  National Aeronautics and Space Administration · inglés

Más obras de S. M. Easterbrook