Modelling and Testing OO Distributed Systems with Temporal Logic Formalisms

Sita Ramakrishnan, John McGregor

    Research output: Contribution to conferenceOtherOther

    Original languageEnglish
    Pages515 - 520
    Number of pages6
    Publication statusPublished - 2000
    EventIASTED International Conference on Applied Informatics - Innsbruck AUSTRIA, Anaheim USA
    Duration: 14 Feb 200017 Feb 2000

    Conference

    ConferenceIASTED International Conference on Applied Informatics
    CityAnaheim USA
    Period14/02/0017/02/00

    Cite this

    Ramakrishnan, S., & McGregor, J. (2000). Modelling and Testing OO Distributed Systems with Temporal Logic Formalisms. 515 - 520. IASTED International Conference on Applied Informatics, Anaheim USA, .
    Ramakrishnan, Sita ; McGregor, John. / Modelling and Testing OO Distributed Systems with Temporal Logic Formalisms. IASTED International Conference on Applied Informatics, Anaheim USA, .6 p.
    @conference{b0556349a0304fb5b30e6abdce088aed,
    title = "Modelling and Testing OO Distributed Systems with Temporal Logic Formalisms",
    author = "Sita Ramakrishnan and John McGregor",
    year = "2000",
    language = "English",
    pages = "515 -- 520",
    note = "IASTED International Conference on Applied Informatics ; Conference date: 14-02-2000 Through 17-02-2000",

    }

    Ramakrishnan, S & McGregor, J 2000, 'Modelling and Testing OO Distributed Systems with Temporal Logic Formalisms' IASTED International Conference on Applied Informatics, Anaheim USA, 14/02/00 - 17/02/00, pp. 515 - 520.

    Modelling and Testing OO Distributed Systems with Temporal Logic Formalisms. / Ramakrishnan, Sita; McGregor, John.

    2000. 515 - 520 IASTED International Conference on Applied Informatics, Anaheim USA, .

    Research output: Contribution to conferenceOtherOther

    TY - CONF

    T1 - Modelling and Testing OO Distributed Systems with Temporal Logic Formalisms

    AU - Ramakrishnan, Sita

    AU - McGregor, John

    PY - 2000

    Y1 - 2000

    M3 - Other

    SP - 515

    EP - 520

    ER -

    Ramakrishnan S, McGregor J. Modelling and Testing OO Distributed Systems with Temporal Logic Formalisms. 2000. IASTED International Conference on Applied Informatics, Anaheim USA, .