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
Herausgeber: 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 -2005, Em)
Fachgebiet: 004 Informatik




Dieser Eintrag ist Teil der Universitätsbibliographie.




Metadaten-Export


Zitation


+ Suche Autoren in

+ Aufruf-Statistik

Aufrufe im letzten Jahr

Detaillierte Angaben



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


Actions (login required)

Eintrag anzeigen Eintrag anzeigen