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

Phan Cong Vinh

doi:10.4108/casa.1.2.e6

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

Authors

Phan Cong Vinh Trường ĐH Nguyễn Tất Thành

DOI:

https://doi.org/10.4108/casa.1.2.e6

Abstract

Downloads

Published

19-12-2014

How to Cite

Cong Vinh P. An Introduction to the Book Titled “Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development and Verification”. EAI Endorsed Trans Context Aware Syst App [Internet]. 2014 Dec. 19 [cited 2024 Nov. 24];1(2):e6. Available from: https://publications.eai.eu/index.php/casa/article/view/2039

Download Citation

Issue

Vol. 1 No. 2 (2014): EAI Endorsed Transactions on Context-aware Systems and Applications

Section

Research article

License

This work is licensed under a Creative Commons Attribution 3.0 Unported License.

This is an open-access article distributed under the terms of the Creative Commons Attribution CC BY 3.0 license, which permits unlimited use, distribution, and reproduction in any medium so long as the original work is properly cited.