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

Publication series

Name
PublisherIEEE Computer Society Press

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.
Bohnenkamp, H.C. ; Courtney, Tod ; Daly, David ; Derisavi, Salem ; Hermanns, H. ; Katoen, Joost P. ; Klaren, J. ; Vi Lam, Vinh ; Sanders, William H. / On integrating the MÖBIUS and MODEST modeling tools. 2003 International conference on dependable systems and networks. Los Alamitos, USA : IEEE Computer Society, 2003. pp. 671-
@inproceedings{313e1143e48346cfb6bc0cce18a843b2,
title = "On integrating the M{\"O}BIUS and MODEST modeling tools",
keywords = "METIS-215947, IR-46744",
author = "H.C. Bohnenkamp and Tod Courtney and David Daly and Salem Derisavi and H. Hermanns and Katoen, {Joost P.} and J. Klaren and {Vi Lam}, Vinh and Sanders, {William H.}",
year = "2003",
month = "6",
day = "22",
language = "Undefined",
isbn = "0-7695-1952-0",
publisher = "IEEE Computer Society",
pages = "671--",
booktitle = "2003 International conference on dependable systems and networks",
address = "United States",

}

Bohnenkamp, HC, Courtney, T, Daly, D, Derisavi, S, Hermanns, H, Katoen, JP, Klaren, J, Vi Lam, V & Sanders, WH 2003, On integrating the MÖBIUS and MODEST modeling tools. in 2003 International conference on dependable systems and networks. IEEE Computer Society, Los Alamitos, USA, pp. 671-.

On integrating the MÖBIUS and MODEST modeling tools. / Bohnenkamp, H.C.; Courtney, Tod; Daly, David; Derisavi, Salem; Hermanns, H.; Katoen, Joost P.; Klaren, J.; Vi Lam, Vinh; Sanders, William H.

2003 International conference on dependable systems and networks. Los Alamitos, USA : IEEE Computer Society, 2003. p. 671-.

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

TY - GEN

T1 - On integrating the MÖBIUS and MODEST modeling tools

AU - Bohnenkamp, H.C.

AU - Courtney, Tod

AU - Daly, David

AU - Derisavi, Salem

AU - Hermanns, H.

AU - Katoen, Joost P.

AU - Klaren, J.

AU - Vi Lam, Vinh

AU - Sanders, William H.

PY - 2003/6/22

Y1 - 2003/6/22

KW - METIS-215947

KW - IR-46744

M3 - Conference contribution

SN - 0-7695-1952-0

SP - 671-

BT - 2003 International conference on dependable systems and networks

PB - IEEE Computer Society

CY - Los Alamitos, USA

ER -

Bohnenkamp HC, Courtney T, Daly D, Derisavi S, Hermanns H, Katoen JP et al. On integrating the MÖBIUS and MODEST modeling tools. In 2003 International conference on dependable systems and networks. Los Alamitos, USA: IEEE Computer Society. 2003. p. 671-