Cover Image

Formal and practical aspects of autonomic computing and networking specification, development, and verification /

"This book outlines the characteristics, novel approaches of specification, refinement, programming and verification associated with automated computing and networking"--Provided by publisher.

Bibliographic Details
Corporate Author: IGI Global.
Other Authors: Cong-Vinh, Phan.
Format: Electronic
Language:English
Published: Hershey, Pa. : IGI Global (701 E. Chocolate Avenue, Hershey, Pennsylvania, 17033, USA), 2011.
Subjects:
Autonomic computing.
Computer networks.
Formal methods (Computer science)
ACN
Cognitive networks
Multi-agent systems
Sensor networks
Storage and caching systems
ACN test-beds
Formalizing languages
Security and trust
Software architectures
Validation and verification techniques
Online Access:Chapter PDFs via platform:

Fulltext / Holdings URL

Chapter PDFs via platform:

Similar Items