Ali Shahrokni, Robert Feldt, Fredrik Petterson, Anders Back
Robustness Verification Challenges in Automotive Telematics Software
SEKE, 2009.
@inproceedings{SEKE-2009-ShahrokniFPB,
author = "Ali Shahrokni and Robert Feldt and Fredrik Petterson and Anders Back",
booktitle = "{Proceedings of the 21st International Conference on Software Engineering and Knowledge Engineering}",
isbn = "1-891706-24-1",
pages = "460--465",
publisher = "{Knowledge Systems Institute Graduate School}",
title = "{Robustness Verification Challenges in Automotive Telematics Software}",
year = 2009,
}