Showing 1 - 2 results of 2 for search 'Inverardi, P', query time: 0.02s
Refine Results
-
1
CONNECT Challenges: Towards Emergent Connectors for Eternal Networked Systems by Issarny, V, Steffen, B, Jonsson, B, Blair, G, Grace, P, Kwiatowska, M, Calinescu, R, Inverardi, P, Tivoli, M, Bertolino, A, Sabetta, A
Published 2009Conference item -
2
Synthesis and verification of delf-aware computing systems by Calinescu, R, Autili, M, Camara, J, Di Marco, A, Gerasimou, S, Inverardi, P, Perucci, A, Jansen, N, Katoen, J, Kwiatkowska, M, Mengshoel, O, Spalazzese, R, Tivoli, M
Published 2017Book section