Efficient computation of quantitative properties of real-time preemptive systems

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

Related content

Conformance Testing of Preemptive Real-Time Systems

International Journal of Embedded and Real-Time Communication Systems (IJERTCS), Vol. 4, Iss. 4, 2013-10 ,pp. : 1-26

IGI Global_journal

Access to resources Recommend Favorite

Improved priority assignment for global fixed priority pre-emptive scheduling in multiprocessor real-time systems

By Davis Robert Burns Alan

Real-Time Systems, Vol. 47, Iss. 1, 2011-01 ,pp. : 1-40

Springer Publishing Company

Access to resources Recommend Favorite

Guest editors’ introduction: quantitative analysis of real-time embedded systems

By Buchholz Peter Katoen Joost-Pieter Verhoef Marcel

International Journal on Software Tools for Technology Transfer, Vol. 8, Iss. 6, 2006-11 ,pp. : 605-606

Springer Publishing Company

Access to resources Recommend Favorite

Privacy in Real-Time Systems

By Lanotte R. Maggiolo-Schettini A. Tini S.

Electronic Notes in Theoretical Computer Science, Vol. 52, Iss. 3, 2004-01 ,pp. : 1-11

Elsevier

Access to resources Recommend Favorite

Using Program Transformations to Provide Safety Properties for Real-Time Systems

By Tsai Grace Wang Shuhua

Real-Time Systems, Vol. 27, Iss. 2, 2004-07 ,pp. : 191-207

Springer Publishing Company

Access to resources Recommend Favorite