A formal approach to providing assurance to dynamically adaptive software

In Collections: Electronic Theses & Dissertations

Copyright Status: In Copyright

Material Type: Theses

Authors: Zhang, Ji

Date Published: 2007

Subjects: Self-adaptive software
Design
Adaptive computing systems

Program of Study: Computer Science

Degree Level: Doctoral

Language: English

Pages: xi, 287 pages

Permalink: https://doi.org/doi:10.25335/4wmm-8k28

Full text