Testable Specifications of NoTA-Based Modular Embedded Systems

Dragos Truscan, J Lindqvist, Johan Lilius, Ivan Porres Paltor, T Eriksson, J Rakkola, A Latva-Aho

Forskningsoutput: Kapitel i bok/konferenshandlingKonferensbidragVetenskapligPeer review

5 Citeringar (Scopus)
Filter
Slutfört

Sökresultat