Dynamic Priorities for Modeling Real-Time

Girish Bhat, Rance Cleaveland, Gerald Lüttgen. Dynamic Priorities for Modeling Real-Time. In Atsushi Togashi, Tadanori Mizuno, Norio Shiratori, Teruo Higashino, editors, Formal Description Techniques and Protocol Specification, Testing and Verification, FORTE X / PSTV XVII 97, IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE X) and Pr. Volume 107 of IFIP Conference Proceedings, pages 321-336, Chapman & Hall, 1997.

Authors

Girish Bhat

This author has not been identified. Look up 'Girish Bhat' in Google

Rance Cleaveland

This author has not been identified. Look up 'Rance Cleaveland' in Google

Gerald Lüttgen

This author has not been identified. Look up 'Gerald Lüttgen' in Google