Formal Development of NoC Systems in B

Leonidas Tsiopoulos, Marina Walden

Research output: Chapter in Book/Conference proceedingConference contributionScientific

Original languageEnglish
Title of host publicationProceedings of the 17th Nordic Workshop on Programming Theory - NWPT'05
Place of PublicationCopenhagen, Denmark
Publication statusPublished - 2005
MoE publication typeB3 Non-refereed article in conference proceedings

Cite this