2 citations · 2 across the 3 of their papers we have counts for
1 paper · 1 filter
Ginju V. George, Aritra Hazra, Pallab Dasgupta +1
Reliability and fault tolerance are critical attributes of embedded cyber-physical systems that require a high safety-integrity level. For such systems, the use of formal functiona…