Eintrag weiter verarbeiten
Application of formal methods to the VIPER microprocessor
Gespeichert in:
Personen und Körperschaften: | , |
---|---|
Titel: |
Application of formal methods to the VIPER microprocessor |
In: | IEE Proceedings E Computers and Digital Techniques, 134, 1987, 3, S. 133 |
veröffentlicht: |
Institution of Engineering and Technology (IET)
|
Umfang: | 133 |
ISSN: |
0143-7062 |
DOI: | 10.1049/ip-e.1987.0023 |
Format: | E-Article |
Quelle: | Institution of Engineering and Technology (IET) (CrossRef) |
Sprache: | Englisch |