Publications

Towards Automated Dependability Analysis of Dynamically Connected Systems

AuthID
P-00K-KJX

Author(s)

Masci, Paolo

Martinucci, Marco

Giandomenico, FelicitaDi

Document Type

Proceedings Paper

Year published

2011

Published

in 10th International Symposium on Autonomous Decentralized Systems, ISADS 2011, Tokyo & Hiroshima, Japan, March 23-17, 2011 in ISADS

Pages: 139-146

Conference

2011 10Th International Symposium on Autonomous Decentralized Systems, Isads 2011, Date: 23 March 2011 through 27 March 2011, Location: Tokyo and Hiroshima, Sponsors: The Institute of Electrical and Electronics Engineers;IEEE Computer Society;Inst. Electron., Inf. Commun. Eng.;IEICE Communications Society;IEICE Information and Systems Society

Indexing