Work

Assurance Cases in Model-Driven Development of the Pacemaker Software

Year: 2010

Type: conference-paper

Source: Lecture notes in computer science

DOI: 10.1007/978-3-642-16561-0_33

Authors: Eunkyoung Jee, Insup Lee, Oleg Sokolsky

Institution: University of Pennsylvania

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: W1506553688

FWCI: 10.64

Cites: 12

Cited by: 45

Related to: 10