CHARME-2
Acronym | Definition |
---|---|
CHARME-2 | Formal Design and Correctness Verification of Synchronous and Asynchronous Digital VLSI Systems |
Copyright 1988-2018 AcronymFinder.com, All rights reserved.
Acronym | Definition |
---|---|
CHARME-2 | Formal Design and Correctness Verification of Synchronous and Asynchronous Digital VLSI Systems |