25 citations · 74 across the 13 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…