Jingde Cheng
Run-Time Detection of Tasking Deadlocks in Real-Time Systems with the Ada 95 Annex of Real-Time Systems
AdaEurope, 2006.
@inproceedings{AdaEurope-2006-Cheng,
author = "Jingde Cheng",
booktitle = "{Proceedings of the 11th Ada-Europe International Conference on Reliable Software Technologies}",
doi = "10.1007/11767077_14",
isbn = "3-540-34663-5",
pages = "167--178",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{Run-Time Detection of Tasking Deadlocks in Real-Time Systems with the Ada 95 Annex of Real-Time Systems}",
volume = 4006,
year = 2006,
}