On integrating the MÖBIUS and MODEST modeling tools

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

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

    7 Citations (Scopus)
    105 Downloads (Pure)
    Original languageUndefined
    Title of host publication2003 International conference on dependable systems and networks
    Place of PublicationLos Alamitos, USA
    PublisherIEEE Computer Society
    Number of pages1
    ISBN (Print)0-7695-1952-0
    Publication statusPublished - 22 Jun 2003
    EventInternational Conference on Dependable Systems and Networks, DSN 2003 - San Francisco, United States
    Duration: 22 Jun 200325 Jun 2003

    Publication series

    PublisherIEEE Computer Society Press


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


    • METIS-215947
    • IR-46744

    Cite this