Stepwise Development of Simulink Models Using the Refinement Calculus Framework

Pontus Boström, Lionel Morel, Marina Walden

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

    11 Sitaatiot (Scopus)
    Suodatin
    Päättynyt

    Hakutulokset