Publication:
Assured Reconfiguration: Specification, Proofs, and Example

Thumbnail Image

Files

CS-2005-05.pdf (482.98 KB)

Date

2005-01-01

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

University of Virginia, Department of Computer Science

Research Projects

Organizational Units

Journal Issue

Abstract

Description

Original submission date: 2012-10-29T19:41:50Z

Subjects

Citation

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

URI

https://doi.org/10.18130/V36F45
 https://libraopen.library.virginia.edu/handle/item/9134

Collections

Computer Science

Endorsement

Review

Supplemented By

Referenced By