Efficient computation of quantitative properties of real-time preemptive systems

Author: Abdelkrim Abdelli  

Publisher: Inderscience Publishers

ISSN: 1757-8779

Source: International Journal of Critical Computer-Based Systems, Vol.3, Iss.3, 2012-11, pp. : 187-209

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract