Testable specifications of NoTA-based modular embedded systems

Johan Lilius, Johan Lindqvist, Ivan Porres Paltor, Dragos Truscan, Timo Eriksson, Antti Latva-Aho, Juha Rakkola

    Tutkimustuotos: Kirja/lehti/raporttiTutkimusraporttiAmmatillinen

    17 Lataukset (Pure)

    Sormenjälki

    Sukella tutkimusaiheisiin 'Testable specifications of NoTA-based modular embedded systems'. Ne muodostavat yhdessä ainutlaatuisen sormenjäljen.

    Computer Science