Verification and Analysis of Autonomic Systems for Networked Enterprises

Antonia Bertolino, Guglielmo De Angelis, Felicita Di Giandomenico, Eda Marchetti, Antonino Sabetta, Paola Spoletini. Verification and Analysis of Autonomic Systems for Networked Enterprises. In Giuseppe Anastasi, Emilio Bellini, Elisabetta Di Nitto, Carlo Ghezzi, Letizia Tanca, Eugenio Zimeo, editors, Methodologies and Technologies for Networked Enterprises - ArtDeco: Adaptive Infrastructures for Decentralised Organisations. Volume 7200 of Lecture Notes in Computer Science, pages 143-169, Springer, 2012. [doi]

Authors

Antonia Bertolino

This author has not been identified. Look up 'Antonia Bertolino' in Google

Guglielmo De Angelis

This author has not been identified. Look up 'Guglielmo De Angelis' in Google

Felicita Di Giandomenico

This author has not been identified. Look up 'Felicita Di Giandomenico' in Google

Eda Marchetti

This author has not been identified. Look up 'Eda Marchetti' in Google

Antonino Sabetta

This author has not been identified. It may be one of the following persons: Look up 'Antonino Sabetta' in Google

Paola Spoletini

This author has not been identified. Look up 'Paola Spoletini' in Google