8 citations · 13 across the 2 of their papers we have counts for
1 paper · 2 filters
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…