Specifying Real-Time Systems in Rewriting Logic

By Olveczky P.C.   Meseguer J.  

Electronic Notes in Theoretical Computer Science, Vol. 4, Iss. 1, 2004-01 ,pp. : 1-26

Elsevier

Access to resources Recommend Favorite

Specification and Timing Analysis of Real-Time Systems

By Wang Shuhua   Tsai Grace  

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

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

Maude: specification and programming in rewriting logic

By Clavel M.   Duran F.   Eker S.   Lincoln P.   Mart-Oliet N.   Meseguer J.   Quesada J.F.  

Theoretical Computer Science, Vol. 285, Iss. 2, 2002-08 ,pp. : 187-243

Elsevier

Access to resources Recommend Favorite

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