Formal Development of NoC Systems in B

Leonidas Tsiopoulos, Marina Walden

Research output: Book/Journal/ReportCommissioned reportProfessional

3 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Formal Development of NoC Systems in B'. Together they form a unique fingerprint.

Earth and Planetary Sciences

Biochemistry, Genetics and Molecular Biology

Computer Science

Mathematics