Formal Development of NoC Systems in B

Leonidas Tsiopoulos*, Marina Walden

*Tämän työn vastaava kirjoittaja

Tutkimustuotos: LehtiartikkeliArtikkeliTieteellinenvertaisarvioitu

Sormenjälki

Sukella tutkimusaiheisiin 'Formal Development of NoC Systems in B'. Ne muodostavat yhdessä ainutlaatuisen sormenjäljen.

Ingenjörs- och materialvetenskap