Work

Arguing on Software-Level Verification Techniques Appropriateness

Year: 2017

Type: conference-paper

Source: Lecture notes in computer science

DOI: 10.1007/978-3-319-66266-4_3

Authors: Carmen Cârlan, Barbara Gallina, Severin Kacianka, Ruth Breu

Institutions: Fortiss, Mälardalen University, Technical University of Munich, Universität Innsbruck

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

FWCI: 3.496

Cites: 19

Cited by: 6

Related to: 10