Specifying Real-Time Systems in Rewriting Logic

Author： Olveczky P.C.   Meseguer J.  

Publisher： Elsevier

ISSN： 1571-0661

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

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 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

A Model Transformation Approach for Specifying Real-Time Systems and Its Verification Using RT-Maude

By  

International Journal of Information Technology and Web Engineering (IJITWE), Vol. 12, Iss. 4, 2017-10 ,pp. : 22-41

IGI Global_journal

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

Discrete Event Systems in Rewriting Logic

By Landauer C.  

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

Elsevier

Access to resources Recommend Favorite

Bi-rewriting Rewriting Logic

By Schorlemmer W.M.  

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

Elsevier

Access to resources Recommend Favorite