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/ReportCommissioned reportProfessional

    17 Downloads (Pure)
    Filter
    Finished

    Search results