Static verification of non-functional software requirements in the ISO-26262
Year: 2012
Type: article
Authors: Daniel L. Kastner, Christian Ferdinand
Language: English
Subfield: Safety, Risk, Reliability and Quality
Field: Engineering
Domain: Physical Sciences
Open Access status: closed
OpenAlex ID: W2400133169