Kochaleema, K.H., 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