casa 14(2): e6

Research Article

An Introduction to the Book Titled “Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development and Verification”

Download862 downloads
  • @ARTICLE{10.4108/casa.1.2.e6,
        author={Phan Cong Vinh},
        title={An Introduction to the Book Titled “Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development and Verification”},
        journal={EAI Endorsed Transactions on Context-aware Systems and Applications},
        volume={1},
        number={2},
        publisher={ICST},
        journal_a={CASA},
        year={2014},
        month={12},
        keywords={},
        doi={10.4108/casa.1.2.e6}
    }
    
  • Phan Cong Vinh
    Year: 2014
    An Introduction to the Book Titled “Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development and Verification”
    CASA
    ICST
    DOI: 10.4108/casa.1.2.e6
Phan Cong Vinh1,*
  • 1: Faculty of Information Technology at Nguyen Tat Thanh University
*Contact email: pcvinh@ntt.edu.vn

Abstract