Assured Reconfiguration: Specification, Proofs, and Example

Report
Authors:Strunk, Elisabeth, Department of Computer ScienceUniversity of Virginia Yin, Xiang, Department of Computer ScienceUniversity of Virginia
Rights:
All rights reserved (no additional license for public reuse)
Language:
English
Source Citation:

Strunk, Elisabeth, and Xiang Yin. "Assured Reconfiguration: Specification, Proofs, and Example." University of Virginia Dept. of Computer Science Tech Report (2005).

Publisher:
University of Virginia, Department of Computer Science
Published Date:
2005