Asokan, Shimmi, DRDO- Naval Physical and Oceanographic Laboratory, 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