Automated verification of the dependability of object-oriented real-time systems

By Hui Ding, Can Zheng, Gul Agha, and Lui Sha. In WORDS Fall, 171–178. IEEE Computer Society, 2003.

Publisher Link:

http://doi.ieeecomputersociety.org/10.1109/WORDS.2003.1267505

BibTeX

@inproceedings{conf/words/DingZAS03,
    author = "Ding, Hui and Zheng, Can and Agha, Gul and Sha, Lui",
    title = "Automated Verification of the Dependability of Object-
             Oriented Real-Time Systems",
    booktitle = "WORDS Fall",
    crossref = "conf/words/2003f",
    ee = "http://doi.ieeecomputersociety.org/10.1109/WORDS.2003.1267505",
    pages = "171-178",
    year = "2003",
}

@proceedings{conf/words/2003f,
    title = "9th IEEE International Workshop on Object-Oriented Real-
             Time Dependable Systems (WORDS 2003 Fall), 1-3 October 2003,
             Anacapri (Capri Island), Italy",
    isbn = "0-7695-2054-5",
    publisher = "IEEE Computer Society",
    year = "2004",
}