Skip to main content

Verified Communication Protocols for Multicore/SoC Architectures: Publications