Modelling and Testing OO Distributed Systems with Temporal Logic Formalisms

Sita Ramakrishnan, John McGregor

    Research output: Contribution to conferenceOther

    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