Travelled to:
1 × USA
Collaborated with:
A.Shahrokni R.Feldt F.Petterson
Talks about:
challeng (1) telemat (1) softwar (1) automot (1) robust (1) verif (1)
Person: Anders Back
DBLP: Back:Anders
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.