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

    11 Citations (Scopus)

    Search results