Formal Specification of Asynchronous Processors via Action Refinement

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.

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

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

Aufrufe im letzten Jahr

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

Eintrag anzeigen