Formal Verification-based Design Model Repair

Summary

Formal Verification-based Design Model Repair is a doctoral thesis^[1].

Key Facts

• Formal Verification-based Design Model Repair's instance of is recorded as doctoral thesis^[2].
• Formal Verification-based Design Model Repair was published by ResearchSpace@Auckland^[3].
• Formal Verification-based Design Model Repair's copyright license is recorded as Creative Commons Attribution-NonCommercial-ShareAlike 3.0 New Zealand^[4].
• Formal Verification-based Design Model Repair's country of origin is recorded as New Zealand^[5].
• Formal Verification-based Design Model Repair was published on 2020^[6].
• Formal Verification-based Design Model Repair's main subject is computer science^[7].
• Formal Verification-based Design Model Repair's work available at URL is recorded as https://researchspace.auckland.ac.nz/handle/2292/50603^[8].
• Formal Verification-based Design Model Repair's title is recorded as Formal Verification-based Design Model Repair^[9].
• Formal Verification-based Design Model Repair's author name string is recorded as Chenghao Cai^[10].
• Formal Verification-based Design Model Repair's thesis submitted to is recorded as University of Auckland^[11].
• Formal Verification-based Design Model Repair's on focus list of Wikimedia project is recorded as NZThesisProject^[12].
• Formal Verification-based Design Model Repair's copyright status is recorded as copyrighted^[13].
• Formal Verification-based Design Model Repair's online access status is recorded as open access^[14].
• Formal Verification-based Design Model Repair's thesis committee member is recorded as Jing Sun^[15].
• Formal Verification-based Design Model Repair's thesis committee member is recorded as Gillian Dobbie^[16].
• Formal Verification-based Design Model Repair's thesis submitted for degree is recorded as Doctor of Philosophy^[17].

Body

Designation and Status

Formal Verification-based Design Model Repair's instance of is recorded as doctoral thesis^[2].