Derivation of Parallel and Resilient Programs from Simulink Models

Sergii Ostroumov, Pontus Boström, Marina Walden

Forskningsoutput: Kapitel i bok/konferenshandlingKonferensbidragVetenskapligPeer review

Sökresultat