Circus Models for Safety-Critical Java Programs

F. Zeyda, L. Lalkhumsanga, A. Cavalcanti, A. Wellings

    Research output: Contribution to journal › Article

    75 Downloads (Pure)
    Original languageEnglish
    Pages (from-to)1046-1091
    JournalComputer Journal
    Volume57
    Issue number7
    DOIs
    Publication statusPublished - 3 Jul 2013

    Cite this

    Zeyda, F., Lalkhumsanga, L., Cavalcanti, A., & Wellings, A. (2013). Circus Models for Safety-Critical Java Programs. Computer Journal, 57(7), 1046-1091. https://doi.org/10.1093/comjnl/bxt060
    Zeyda, F. ; Lalkhumsanga, L. ; Cavalcanti, A. ; Wellings, A. / Circus Models for Safety-Critical Java Programs. In: Computer Journal. 2013 ; Vol. 57, No. 7. pp. 1046-1091.
    @article{bc9d21b4f16a49e09ae4afae41a92359,
    title = "Circus Models for Safety-Critical Java Programs",
    author = "F. Zeyda and L. Lalkhumsanga and A. Cavalcanti and A. Wellings",
    year = "2013",
    month = "7",
    day = "3",
    doi = "10.1093/comjnl/bxt060",
    language = "English",
    volume = "57",
    pages = "1046--1091",
    journal = "Computer Journal",
    issn = "0010-4620",
    publisher = "Oxford University Press",
    number = "7",

    }

    Zeyda, F, Lalkhumsanga, L, Cavalcanti, A & Wellings, A 2013, 'Circus Models for Safety-Critical Java Programs', Computer Journal, vol. 57, no. 7, pp. 1046-1091. https://doi.org/10.1093/comjnl/bxt060

    Circus Models for Safety-Critical Java Programs. / Zeyda, F.; Lalkhumsanga, L.; Cavalcanti, A.; Wellings, A.

    In: Computer Journal, Vol. 57, No. 7, 03.07.2013, p. 1046-1091.

    Research output: Contribution to journal › Article

    TY - JOUR

    T1 - Circus Models for Safety-Critical Java Programs

    AU - Zeyda, F.

    AU - Lalkhumsanga, L.

    AU - Cavalcanti, A.

    AU - Wellings, A.

    PY - 2013/7/3

    Y1 - 2013/7/3

    U2 - 10.1093/comjnl/bxt060

    DO - 10.1093/comjnl/bxt060

    M3 - Article

    VL - 57

    SP - 1046

    EP - 1091

    JO - Computer Journal

    JF - Computer Journal

    SN - 0010-4620

    IS - 7

    ER -

    Zeyda F, Lalkhumsanga L, Cavalcanti A, Wellings A. Circus Models for Safety-Critical Java Programs. Computer Journal. 2013 Jul 3;57(7):1046-1091. https://doi.org/10.1093/comjnl/bxt060

    Access to Document