Santhosh Kumar, G., Department of Computer Science, Cochin University of Science & Technology, Kochi- Kerala, India

• Defence Science Journal Vol 73 No 1 (2023) - Computers & Systems Studies
  Formal Modelling and Verification of the Clock Synchronization Algorithm of FlexRay
  Abstract  PDF