Suresh Kumar N

A Review on Formal Verification of Basic Algorithms in Time Triggered Architecture

Shelbi Joseph, Sheena N, Suresh Kumar N, 2018, 2018 International Conference on Control, Power, Communication and Computing Technologies (ICCPCCT).