Stepwise Development of Simulink Models Using the Refinement Calculus Framework

Pontus Boström, Lionel Morel, Marina Walden

    Forskningsoutput: Kapitel i bok/konferenshandlingKonferensbidragVetenskapligPeer review

    8 Citeringar (Scopus)
    OriginalspråkOdefinierat/okänt
    Titel på gästpublikationTheoretical Aspects of Computing - ICTAC2007 - 4th International Colloquium Macao, China, September 26-28, 2007 Proceedings
    RedaktörerCB Jones, Z Liu, J Woodcock
    FörlagSpringer
    Sidor79–93
    ISBN (elektroniskt)978-3-540-75292-9
    ISBN (tryckt)978-3-540-75290-5
    DOI
    StatusPublicerad - 2007
    MoE-publikationstypA4 Artikel i en konferenspublikation
    Evenemangconference -
    Varaktighet: 1 jan 2010 → …

    Konferens

    Konferensconference
    Period01/01/10 → …

    Citera det här