Semantics and pragmatics of Real-Time Maude

ISSN： 1388-3690

Source： LISP and Symbolic Computation, Vol.20, Iss.1-2, 2007-06, pp. : 161-196

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

A practical approach to implementing real-time semantics

By Bhat G.

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

Springer Publishing Company

Access to resources Recommend Favorite

Specification and analysis of the AER/NCA active network protocol suite in Real-Time Maude

By Ölveczky Peter Meseguer José Talcott Carolyn

Formal Methods in System Design, Vol. 29, Iss. 3, 2006-11 ,pp. : 253-293

Springer Publishing Company

Access to resources Recommend Favorite

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

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

Two Case Studies of Semantics Execution in Maude: CCS and LOTOS

By Verdejo Alberto Martí-Oliet Narciso

Formal Methods in System Design, Vol. 27, Iss. 1-2, 2005-09 ,pp. : 113-172

Springer Publishing Company

Access to resources Recommend Favorite

Real-time iris detection

By Rizon Mohamed

Artificial Life and Robotics, Vol. 15, Iss. 3, 2010-09 ,pp. : 296-301

Springer Publishing Company

Access to resources Recommend Favorite