On integrating the MÖBIUS and MODEST modeling tools

Henrik Bohnenkamp, Tod Courtney, David Daly, Salem Derisavi, Holger Hermanns, Joost P. Katoen, Rick Klaren, Vinh Vi Lam, William H. Sanders

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

    8 Citations (Scopus)
    134 Downloads (Pure)
    Original languageEnglish
    Title of host publication2003 International Conference on Dependable Systems and Networks
    Subtitle of host publicationProceedings
    Place of PublicationLos Alamitos, CA, USA
    PublisherIEEE
    Pages671-671
    Number of pages1
    ISBN (Print)0-7695-1952-0
    DOIs
    Publication statusPublished - 22 Jun 2003
    EventInternational Conference on Dependable Systems and Networks, DSN 2003 - San Francisco, United States
    Duration: 22 Jun 200325 Jun 2003

    Conference

    ConferenceInternational Conference on Dependable Systems and Networks, DSN 2003
    Abbreviated titleDSN
    Country/TerritoryUnited States
    CitySan Francisco
    Period22/06/0325/06/03

    Keywords

    • 2023 OA procedure

    Cite this