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)
    65 Downloads (Pure)
    Original languageUndefined
    Title of host publication2003 International conference on dependable systems and networks
    Place of PublicationLos Alamitos, USA
    PublisherIEEE Computer Society
    Pages671-
    Number of pages1
    ISBN (Print)0-7695-1952-0
    Publication statusPublished - 22 Jun 2003
    EventThe International Conference on Dependable Systems and Networks, DSN 2003 - San Francisco, United States
    Duration: 22 Jun 200325 Jun 2003

    Publication series

    Name
    PublisherIEEE Computer Society Press

    Conference

    ConferenceThe International Conference on Dependable Systems and Networks, DSN 2003
    Abbreviated titleDSN
    CountryUnited States
    CitySan Francisco
    Period22/06/0325/06/03

    Keywords

    • METIS-215947
    • IR-46744

    Cite this