bCANDLE: Formal modelling and analysis of CAN control systems

David Kendall, Steven Bradley, William Henderson, Adrian Robson

Research output: Contribution to conferencePaperpeer-review

4 Citations (Scopus)

Fingerprint

Dive into the research topics of 'bCANDLE: Formal modelling and analysis of CAN control systems'. Together they form a unique fingerprint.

Engineering & Materials Science