Formal Development of NoC Systems in B

Leonidas Tsiopoulos*, Marina Waldén

*Korresponderande författare för detta arbete

Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review

Fingeravtryck

Fördjupa i forskningsämnen för ”Formal Development of NoC Systems in B”. Tillsammans bildar de ett unikt fingeravtryck.

Computer Science