Anzahl der Einträge: 1.
Konferenzveröffentlichung
Majster-Cederbaum, Mila ; Sun, Xiuli ; Wu, Jinzhao ; Song, Xiaoyu
Formal Specification of Asynchronous Processors via Action Refinement.
Abadir, Magdy S.
36-41
In: Proceedings / 5th International Workshop on Microprocessor Test and Verification : common challenges and solutions ; Austin, Texas, September 9 - 10, 2004
(2005)
Los Alamitos, Calif. [u.a.]
[Konferenzveröffentlichung]
|
|
Diese Liste wurde am Sat Aug 17 01:37:48 2024 CEST automatisch erstellt.