Formal Development of NoC Systems in B

Leonidas Tsiopoulos, Marina Walden

Research output: Chapter in Book/Conference proceedingConference contributionScientific

Original languageEnglish
Title of host publicationSelected papers of the 17th nordic workshop on programming theory (NWPT'05)
PublisherPublishing Association Nordic Journal of Computing
Pages127 - 145
Publication statusPublished - 2005
MoE publication typeB3 Non-refereed article in conference proceedings

Cite this