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)
    44 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

    Bohnenkamp, H. C., Courtney, T., Daly, D., Derisavi, S., Hermanns, H., Katoen, J. P., ... Sanders, W. H. (2003). On integrating the MÖBIUS and MODEST modeling tools. In 2003 International conference on dependable systems and networks (pp. 671-). Los Alamitos, USA: IEEE Computer Society.