1 paper
S. Bandyopadhyay, D. Sarkar, C. R. Mandal
In this report we focus on some aspects related to modeling and formal verification of embedded systems. Many models have been proposed to represent embedded systems. These models…