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)
    Filter
    Slutfört

    Sökresultat