Automated verification of the dependability of object-oriented real-time systems
By
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", }