25 citations · 38 across the 4 of their papers we have counts for
1 paper · 1 filter
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…