Formal Methods for Industrial Critical Systems

Materias

• Computer science
• Software engineering
• Computer programs
• Computer software, reliability

Ediciones (1)

• Formal Methods for Industrial Critical Systems (2018)

  Springer · ISBN 9783030002435

Más obras de Falk Howar