Specification and Timing Analysis of Real-Time Systems

ISSN： 0922-6443

Source： Real-Time Systems, Vol.28, Iss.1, 2004-10, pp. : 69-90

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

Specification and analysis of timing requirements for real-time systems in the CBD approach

By Lee Ho Lee Woo Chae Heung Kwon Yong

Real-Time Systems, Vol. 36, Iss. 1-2, 2007-07 ,pp. : 135-158

Springer Publishing Company

Access to resources Recommend Favorite

Specification and analysis of real-time systems with PARAGON

By Sokolsky O.

Annals of Software Engineering, Vol. 7, Iss. 1-4, 1999-01 ,pp. : 211-234

Springer Publishing Company

Access to resources Recommend Favorite

Specification of real-time and hybrid systems in rewriting logic

By Olveczky P.C. Meseguer J.

Theoretical Computer Science, Vol. 285, Iss. 2, 2002-08 ,pp. : 359-405

Elsevier

Access to resources Recommend Favorite

On scheduling garbage collector in dynamic real-time systems with statistical timing assurances

By Cho Hyeonjoong Na Chewoo Ravindran Binoy Jensen E.

Real-Time Systems, Vol. 36, Iss. 1-2, 2007-07 ,pp. : 23-46

Springer Publishing Company

Access to resources Recommend Favorite

Timing Analysis of Real-Time Communication Under Electromagnetic Interference

By Broster I. Burns A. RodrÍguez-Navas G.

Real-Time Systems, Vol. 30, Iss. 1-2, 2005-05 ,pp. : 55-81

Springer Publishing Company

Access to resources Recommend Favorite