- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1572-8102
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
online resource.
- Bibliographic citation
-
Model checking boot code from AWS data centers ; day:15 ; month:4 ; year:2020 ; pages:1-19
Formal methods in system design ; (15.4.2020), 1-19
- Creator
-
Cook, Byron
Khazem, Kareem
Kroening, Daniel
Tasiran, Serdar
Tautschnig, Michael
Tuttle, Mark R.
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1007/s10703-020-00344-2
- URN
-
urn:nbn:de:101:1-2020062815445066784507
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:59 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Cook, Byron
- Khazem, Kareem
- Kroening, Daniel
- Tasiran, Serdar
- Tautschnig, Michael
- Tuttle, Mark R.
- SpringerLink (Online service)
Other Objects (12)
AWS-Mitteilungen
jAWS
AWS 32
...SORRY AWS!
AWS RASIERMESSER
A.W.S. Abwehrschlacht, Leitungsverzeichnis.
jAWS Ringo
AWS Global Infrastructure
Checking security compliance between models and code
AWS certified solutions architect
AWS Guide Map Berlin
Info-Gespräche mit AWS
AWS-Mitteilungen
jAWS
AWS 32
...SORRY AWS!
AWS RASIERMESSER
A.W.S. Abwehrschlacht, Leitungsverzeichnis.
jAWS Ringo
AWS Global Infrastructure
Checking security compliance between models and code
AWS certified solutions architect
AWS Guide Map Berlin
Info-Gespräche mit AWS
AWS-Mitteilungen
jAWS
AWS 32
...SORRY AWS!
AWS RASIERMESSER
A.W.S. Abwehrschlacht, Leitungsverzeichnis.
jAWS Ringo
AWS Global Infrastructure
Checking security compliance between models and code
AWS certified solutions architect
AWS Guide Map Berlin