Stepwise Development of Simulink Models Using the Refinement Calculus Framework

Pontus Boström, Lionel Morel, Marina Walden

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

    7 Sitaatiot (Scopus)
    AlkuperäiskieliEi tiedossa
    OtsikkoTheoretical Aspects of Computing - ICTAC2007 - 4th International Colloquium Macao, China, September 26-28, 2007 Proceedings
    ToimittajatCB Jones, Z Liu, J Woodcock
    KustantajaSpringer
    Sivut79–93
    ISBN (elektroninen)978-3-540-75292-9
    ISBN (painettu)978-3-540-75290-5
    DOI - pysyväislinkit
    TilaJulkaistu - 2007
    OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisuussa
    Tapahtumaconference -
    Kesto: 1 tammikuuta 2010 → …

    Konferenssi

    Konferenssiconference
    Ajanjakso01/01/10 → …

    Viittausmuodot