The Natural History of Bugs: Using Formal Methods to Analyse Software Related Failures in Space Missions

Lecture Notes in Computer Science - Germany
doi 10.1007/11526841_3
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Application of Lightweight Formal Methods to Software Security

English

Using Simulation Games in Teaching Formal Methods for Software Development

Advances in Higher Education and Professional Development
English

Software Engineering and Formal Methods

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Software Quality Improvement: Two Approaches to the Application of Formal Methods

1996English

Evaluation of Sample Preservation Methods for Space Missions

2003English

Software Construction and Analysis Tools for Future Space Missions

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2002English

Formal Methods for Eternal Networked Software Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Preface to the Special Section on Improving Software Quality Through Formal Methods

Software Quality Journal
Media TechnologyRiskReliabilitySafetyQualitySoftware
2020English

Using Commercial Satellites to Provide Communication Support for Space Missions

English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy