Formal Development of NoC Systems in B

Leonidas Tsiopoulos*, Marina Waldén

*Tämän työn vastaava kirjoittaja

Tutkimustuotos: Lehtiartikkeli › Artikkeli › Tieteellinen › vertaisarvioitu

Sormenjälki

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

Computer Science