Checking sysML models for co-simulation

Nuno Amálio*, Richard Payne, Ana Cavalcanti, Jim Woodcock

*Corresponding author for this work

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

    10 Citations (SciVal)
    Original languageEnglish
    Title of host publicationFormal Methods and Software Engineering - 18th International Conference on Formal Engineering Methods, ICFEM 2016, Proceedings
    EditorsKazuhiro Ogata, Mark Lawford, Shaoying Liu
    PublisherSpringer Verlag
    Pages450-465
    Number of pages16
    ISBN (Print)9783319478456
    DOIs
    Publication statusPublished (VoR) - 2016
    Event18th International Conference on Formal Engineering Methods, ICFEM 2016 - Tokyo, Japan
    Duration: 14 Nov 201618 Nov 2016

    Publication series

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

    Conference

    Conference18th International Conference on Formal Engineering Methods, ICFEM 2016
    Country/TerritoryJapan
    CityTokyo
    Period14/11/1618/11/16

    Keywords

    • Algebraic loops
    • CSP
    • Co-simulation
    • FMI
    • SysML

    Fingerprint

    Dive into the research topics of 'Checking sysML models for co-simulation'. Together they form a unique fingerprint.

    Cite this