bCANDLE: Formal Modelling and Analysis of CAN Control Systems.
David Kendall, Steven Bradley, William Henderson, Adrian Robson
VenueARTAS
Year1998
ProceedingsIEEE Real Time Technology and Applications Symposium
DBLP recordconf/rtas/KendallBHR98 ↗
Browse the full RTAS paper archive.