Work

Model-Based Analysis for Safety Critical Software

Year: 2015

Type: conference-paper

Source: Lecture notes in computer science

DOI: 10.1007/978-3-319-24255-2_9

Authors: Stefan Gulan, Jens Harnisch, Sven Johr, Roberto Kretschmer, Stefan Rieger, Rafael Zalman

Institutions: TWT GmbH Science & Innovation (Germany), Infineon Technologies (Germany)

Language: English

Topic: Safety Systems Engineering in Autonomy

Subfield: Safety, Risk, Reliability and Quality

Field: Engineering

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2186401403

FWCI: 0.937

Cites: 8

Cited by: 2

Related to: 10