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 Thu Nov 21 01:19:17 2024 CET automatisch erstellt.
