Behavioural models for FMI co-simulations

Ana Cavalcanti*, Jim Woodcock, Nuno Amálio

*Corresponding author for this work

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    5 Citations (SciVal)
    Original languageEnglish
    Title of host publicationTheoretical Aspects of Computing - ICTAC 2016, 13th International Colloquium, Proceedings
    EditorsFarn Wang, Augusto Sampaio
    PublisherSpringer Verlag
    Pages255-273
    Number of pages19
    ISBN (Print)9783319467498
    DOIs
    Publication statusPublished (VoR) - 2016
    Event13th International Colloquium on Theoretical Aspects of Computing, ICTAC 2016 - Taipei, Taiwan, Province of China
    Duration: 24 Oct 201631 Oct 2016

    Publication series

    NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
    Volume9965 LNCS
    ISSN (Print)0302-9743
    ISSN (Electronic)1611-3349

    Conference

    Conference13th International Colloquium on Theoretical Aspects of Computing, ICTAC 2016
    Country/TerritoryTaiwan, Province of China
    CityTaipei
    Period24/10/1631/10/16

    Keywords

    • CSP
    • Circus
    • Modelling
    • Verification

    Fingerprint

    Dive into the research topics of 'Behavioural models for FMI co-simulations'. Together they form a unique fingerprint.

    Cite this