Research graph
References from Industrial Adoption of Formal Methods: An Industry Perspective on the Transition to SPARK for Security Critical Firmware Development. Local targets link to admitted publications; unresolved targets remain external evidence.
Unresolved reference
External reference
Unresolved reference
External reference
Unresolved reference
External reference
Unresolved reference
External reference
Unresolved reference
External reference
10.1007/978-3-540-69149-5_1
10.1007/978-3-540-69149-5_1 · External reference
10.1145/1592434.1592436
10.1145/1592434.1592436 · External reference
10.1049/cp.2014.0979
10.1049/cp.2014.0979 · External reference
Unresolved reference
External reference
Unresolved reference
External reference
Unresolved reference
External reference
Unresolved reference
External reference
Unresolved reference
External reference
Unresolved reference
External reference
Unresolved reference
External reference
Unresolved reference
External reference
10.1007/3-540-45949-9
10.1007/3-540-45949-9 · External reference
Unresolved reference
External reference
Unresolved reference
External reference
Unresolved reference
External reference
Unresolved reference
External reference
Unresolved reference
External reference
Unresolved reference
External reference
Unresolved reference
External reference
Unresolved reference
External reference
Unresolved reference
External reference
Unresolved reference
External reference
Unresolved reference
External reference
10.65109/xmyc7932
10.65109/xmyc7932 · External reference
10.1007/978-3-032-26752-8_16
10.1007/978-3-032-26752-8_16 · External reference
Unresolved reference
External reference
10.1007/978-3-642-17511-4_20
10.1007/978-3-642-17511-4_20 · External reference
10.1007/s00165-014-0326-7
10.1007/s00165-014-0326-7 · 2015 · External reference
10.1007/978-3-319-07317-0_5
10.1007/978-3-319-07317-0_5 · External reference
Unresolved reference
External reference
10.1145/1538788.1538814
10.1145/1538788.1538814 · 2009 · External reference
10.1007/3-540-45949-9
10.1007/3-540-45949-9 · ExternalCitation · doi-reference
10.1007/978-3-032-26752-8_16
10.1007/978-3-032-26752-8_16 · ExternalCitation · doi-reference
10.1007/978-3-319-07317-0_5
10.1007/978-3-319-07317-0_5 · ExternalCitation · doi-reference
10.1007/978-3-540-69149-5_1
10.1007/978-3-540-69149-5_1 · ExternalCitation · doi-reference
10.1007/978-3-642-17511-4_20
10.1007/978-3-642-17511-4_20 · ExternalCitation · doi-reference
10.1007/s00165-014-0326-7
10.1007/s00165-014-0326-7 · ExternalCitation · doi-reference
10.1049/cp.2014.0979
10.1049/cp.2014.0979 · ExternalCitation · doi-reference
10.1145/1538788.1538814
10.1145/1538788.1538814 · ExternalCitation · doi-reference
10.1145/1592434.1592436
10.1145/1592434.1592436 · ExternalCitation · doi-reference
10.65109/xmyc7932
10.65109/xmyc7932 · ExternalCitation · doi-reference
