Travelled to:
1 × USA
Collaborated with:
A.Shahrokni R.Feldt A.Back
Talks about:
challeng (1) telemat (1) softwar (1) automot (1) robust (1) verif (1)
Person: Fredrik Petterson
DBLP: Petterson:Fredrik
Contributed to:
Wrote 1 papers:
- SEKE-2009-ShahrokniFPB #challenge #robust #verification
- Robustness Verification Challenges in Automotive Telematics Software (AS, RF, FP, AB), pp. 460–465.