Stepwise Development of Simulink Models Using the Refinement Calculus Framework

Pontus Boström, Lionel Morel, Marina Walden

    Research output: Chapter in Book/Conference proceedingConference contributionScientificpeer-review

    7 Citations (Scopus)
    Original languageUndefined/Unknown
    Title of host publicationTheoretical Aspects of Computing - ICTAC2007 - 4th International Colloquium Macao, China, September 26-28, 2007 Proceedings
    EditorsCB Jones, Z Liu, J Woodcock
    PublisherSpringer
    Pages79–93
    ISBN (Electronic)978-3-540-75292-9
    ISBN (Print)978-3-540-75290-5
    DOIs
    Publication statusPublished - 2007
    MoE publication typeA4 Article in a conference publication
    Eventconference -
    Duration: 1 Jan 2010 → …

    Conference

    Conferenceconference
    Period01/01/10 → …

    Cite this