zweidimensionales bewegtes Bild
Program verification with SPARK - When your code must not fail
- Location
-
Hannover TIB
- Extent
-
202MB, 00:35:58:03 (unknown)
- Language
-
Deutsch
- Notes
-
Audiovisuelles Material
- Bibliographic citation
-
Datenspuren 2018 #MACHTNIX ; (Jan. 2018)
- Keyword
-
Alles
- Event
-
Veröffentlichung
- (who)
-
Chaos Computer Club e.V.
- (when)
-
2018-01-01
- Contributor
-
Kliemann, Johannes
Hoffmann, Lion
- DOI
-
10.5446/40444
- Last update
-
04.12.2024, 8:09 AM CET
Data provider
This object is provided by:
Technische Informationsbibliothek (TIB). If you have any questions about the object, please contact the data provider.
Technische Informationsbibliothek (TIB). If you have any questions about the object, please contact the data provider.
Object type
- zweidimensionales bewegtes Bild
Associated
- Kliemann, Johannes
- Hoffmann, Lion
- Chaos Computer Club e.V.
Time of origin
- 2018-01-01
Other Objects (12)
Make your tests fail
You must change your life
Why the Received Models of Considering Preference Change Must Fail
Your conscience you must keep, or it must be kept for you
FAiL | twice! | fail
Open Source Firmware Testing at Facebook: If you don't test your firmware, your firmware fails you
Make your tests fail: How randomisation adds a whole new dimension to finding bugs in your code
"Your Justice is Too Slow": Will the ICTR fail Rwanda's rape victims?
Sparks ("Eisenbahnstadt"). High School, Sparks, Nev.
Sparks ("Eisenbahnstadt"). Railroad Shops, Sparks, Nev.
Sparks ("Eisenbahnstadt"). High School, Sparks, Nev.
Sparks ("Eisenbahnstadt"). Railroad Shops, Sparks, Nev.
Make your tests fail
You must change your life
Why the Received Models of Considering Preference Change Must Fail
Your conscience you must keep, or it must be kept for you
FAiL | twice! | fail
Open Source Firmware Testing at Facebook: If you don't test your firmware, your firmware fails you
Make your tests fail: How randomisation adds a whole new dimension to finding bugs in your code
"Your Justice is Too Slow": Will the ICTR fail Rwanda's rape victims?
Sparks ("Eisenbahnstadt"). High School, Sparks, Nev.
Sparks ("Eisenbahnstadt"). Railroad Shops, Sparks, Nev.
Sparks ("Eisenbahnstadt"). High School, Sparks, Nev.
Sparks ("Eisenbahnstadt"). Railroad Shops, Sparks, Nev.
Make your tests fail
You must change your life
Why the Received Models of Considering Preference Change Must Fail
Your conscience you must keep, or it must be kept for you
FAiL | twice! | fail
Open Source Firmware Testing at Facebook: If you don't test your firmware, your firmware fails you
Make your tests fail: How randomisation adds a whole new dimension to finding bugs in your code
"Your Justice is Too Slow": Will the ICTR fail Rwanda's rape victims?
Sparks ("Eisenbahnstadt"). High School, Sparks, Nev.
Sparks ("Eisenbahnstadt"). Railroad Shops, Sparks, Nev.
Sparks ("Eisenbahnstadt"). High School, Sparks, Nev.