Testable specifications of NoTA-based modular embedded systems

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

    Forskningsoutput: Bok/tidskrift/rapportBeställd rapportProfessionell

    1 Nedladdningar (Pure)

    Sökresultat