Brug af OBJ3 som specifikationssprog og testomgivelse ved formel verifikation af cache-coherenceprotokollen i SCI
Anne Gudman Østergård Sørensen
Bok Dansk 1995
| Utgitt | Oslo : [A.G.Ø. Sørensen> , 1995
|
|---|---|
| Omfang | 83 s. : ill.
|
| Opplysninger | Hovedoppgave i informatikk - Universitetet i Oslo, 1995
|
| Emner |
