Circus Models for Safety-Critical Java Programs

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

    Research output: Contribution to journalArticle

    105 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