Discovering CAN Specification Using On-Board Diagnostics.

Hyun Min Song Huy Kang Kim

Published in: IEEE Des. Test (2021)

Keyphrases

information retrieval
formal specification
decision making
fault diagnosis
user defined
formal methods
provably correct
temporal ordering
machine learning
knowledge base
multi agent systems
power plant
automatically extracting
ims qti