Formal Development of NoC Systems in B

Leonidas Tsiopoulos, Marina Walden

Forskningsoutput: Kapitel i bok/konferenshandlingKonferensbidragVetenskaplig

OriginalspråkEngelska
Titel på gästpublikationProceedings of the 17th Nordic Workshop on Programming Theory - NWPT'05
UtgivningsortCopenhagen, Denmark
Sidor137-139
StatusPublicerad - 2005
MoE-publikationstypB3 Ej refererad artikel i konferenshandlingar

Citera det här