Formal Specification of Asynchronous Processors via Action Refinement


Majster-Cederbaum, Mila ; Sun, Xiuli ; Wu, Jinzhao ; Song, Xiaoyu


URL: http://dx.doi.org/10.1109/MTV.2004.13
Dokumenttyp: Konferenzveröffentlichung
Erscheinungsjahr: 2005
Buchtitel: Proceedings / 5th International Workshop on Microprocessor Test and Verification : common challenges and solutions ; Austin, Texas, September 9 - 10, 2004
Seitenbereich: 36-41
Autor/Hrsg. des Buches
(nur der Erstgenannte!)
:
Abadir, Magdy S.
Ort der Veröffentlichung: Los Alamitos, Calif. [u.a.]
Verlag: IEEE Computer Society
ISBN: 0-7695-2320-X
ISSN: 1550-4093
Sprache der Veröffentlichung: Deutsch
Einrichtung: Fakultät für Wirtschaftsinformatik und Wirtschaftsmathematik > Praktische Informatik II (Majster-Cederbaum Em)
Fachgebiet: 004 Informatik

Dieser Eintrag ist Teil der Universitätsbibliographie.




+ Zitationsbeispiel und Export

Majster-Cederbaum, Mila ; Sun, Xiuli ; Wu, Jinzhao ; Song, Xiaoyu (2005) Formal Specification of Asynchronous Processors via Action Refinement. 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]



+ Suche Autoren in

+ Aufruf-Statistik

Aufrufe im letzten Jahr

Detailierte Angaben



Sie haben einen Fehler gefunden? Teilen Sie uns Ihren Korrekturwunsch bitte hier mit: E-Mail


Actions (login required)

Eintrag anzeigen Eintrag anzeigen