Publication:
Assured Reconfiguration: Specification, Proofs, and Example

Simple item page
dc.contributor.authorYin, Xiang
dc.contributor.authorStrunk, Elisabeth
dc.date.accessioned2026-01-22T21:49:00Z
dc.date.issued2005-01-01
dc.descriptionOriginal submission date: 2012-10-29T19:41:50Z
dc.identifiers7526c40b
dc.identifier.citationStrunk, Elisabeth, and Xiang Yin. "Assured Reconfiguration: Specification, Proofs, and Example." University of Virginia Dept. of Computer Science Tech Report (2005).
dc.identifier.doi10.18130/V36F45
dc.identifier.urihttps://doi.org/10.18130/V36F45
dc.identifier.urihttps://libraopen.library.virginia.edu/handle/item/9134
dc.languageEnglish
dc.language.isoen
dc.publisherUniversity of Virginia, Department of Computer Science
dc.rightsAll rights reserved (no additional license for public reuse)
dc.titleAssured Reconfiguration: Specification, Proofs, and Example
dc.typeTechnical Report
dspace.entity.typePublication
relation.isAuthorOfPublicationf838b15b-fe55-4af9-bbf4-59a814fb2c3c
relation.isAuthorOfPublication032b686e-0040-4086-ae93-5a1ce8f14930
relation.isAuthorOfPublication.latestForDiscoveryf838b15b-fe55-4af9-bbf4-59a814fb2c3c

Files

Original bundle

Now showing 1 - 1 of 1
Thumbnail Image
Name:
CS-2005-05.pdf
Size:
482.98 KB
Format:
Adobe Portable Document Format
Download

Collections

Computer Science