Login / Signup
An Introduction to the Book Titled "Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development and Verification".
Phan Cong Vinh
Published in:
EAI Endorsed Trans. Context aware Syst. Appl. (2014)
Keyphrases
</>
autonomic computing
formal methods
computing systems
formal specification
software developers
case study
book presents
software engineering
model checking
manufacturing systems
multi user
information systems
database systems
augmented reality