1 paper
Paulius Juodisius, Atrisha Sarkar, Raghava Rao Mukkamala +3
Embedded software is growing fast in size and complexity, leading to intimate mixture of complex architectures and complex control. Consequently, software specification requires mo…