Hakutulokset - "Safety-critical system."
-
1
-
2
Using symbolic execution for verifying safety-critical systems.
Julkaisussa Software engineering notes.Artikkeli -
3
Can you trust your car? [automotive electronics reliability testing].
Julkaisussa IEEE spectrumArtikkeli -
4
Can you trust your car? [automotive electronics reliability testing].
Julkaisussa IEEE spectrumArtikkeli -
5
Can you trust your car? [automotive electronics reliability testing].
Julkaisussa IEEE spectrumArtikkeli