Work

From ProCoS to Space and Mental Models–A Survey of Combining Formal and Semi-formal Methods

Year: 2017

Type: book-chapter

Source: NASA monographs in systems and software engineering

DOI: 10.1007/978-3-319-48628-4_12

Author: Bettina Buth

Institution: HAW Hamburg

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2592233910

FWCI:

Cites: 21

Cited by:

Related to: 10