Testable specifications of NoTA-based modular embedded systems

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

    Research output: Book/Journal/Report › Commissioned report › Professional

    17 Downloads (Pure)

    Fingerprint

    Dive into the research topics of 'Testable specifications of NoTA-based modular embedded systems'. Together they form a unique fingerprint.

    Computer Science