Compositional model-based system design as a foundation for mastering change

Stavros Tripakis*

*Corresponding author for this work

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

    1 Citation (Scopus)
    Original languageEnglish
    Title of host publicationLeveraging Applications of Formal Methods, Verification and Validation - Technologies for Mastering Change - 6th International Symposium, ISoLA 2014, Proceedings
    PublisherSpringer Verlag
    Pages524-526
    Number of pages3
    Volume8802
    ISBN (Electronic)9783662452332
    Publication statusPublished - 2014
    MoE publication typeA4 Article in a conference publication
    EventInternational Symposium on Leveraging Applications of Formal Methods, Verification and Validation - Corfu, Greece
    Duration: 8 Oct 201411 Oct 2014
    Conference number: 6

    Publication series

    NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
    Volume8802
    ISSN (Print)03029743
    ISSN (Electronic)16113349

    Conference

    ConferenceInternational Symposium on Leveraging Applications of Formal Methods, Verification and Validation
    Abbreviated titleISoLA
    Country/TerritoryGreece
    CityCorfu
    Period08/10/201411/10/2014

    Cite this