Formal Specification and Proofs of Inheritance Protocols for Real-Time Scheduling
M. Pilling, A. Burns and K. Raymond
No Abstract Available
Download Not Available
BibTex Entry
@article{Pilling1990,
abstract = {},
author = {M. Pilling and A. Burns and K. Raymond},
journal = {Software Engineering Journal},
pages = {263-279},
title = {Formal Specification and Proofs of Inheritance Protocols for Real-Time Scheduling},
year = {1990}
}