Formal model-based development of network-on-chip systems

Formal model-based development of network-on-chip systems

datePublished

• 2010

description

• Artikkeliväitöskirjan yhteenveto-osa ja 5 eripainosta.
• kuvitettu
• Sammanfattning + 5 artiklar.
• Tiivistelmä + 5 artikkelia.

identifier

• propertyID: FI-FENNI value: 947766
• propertyID: FI-MELINDA value: 005737529
• propertyID: skl value: fx947766

isbn

• 9789521224386

isPartOf

• Fennica

name

• Formal model-based development of network-on-chip systems

numberOfPages

• xiii, 35, [88] s.

P60048

• <http://rdaregistry.info/termList/RDACarrierType/1049>

P60050

• <http://rdaregistry.info/termList/RDAMediaType/1007>

publication

• location: Åbo organizer: Åbo Akademi

publisher

• Åbo Akademi