Formalizing Real-Time Embedded System into Promela

Publisher： Edp Sciences

E-ISSN： 2261-236x|35|issue|03003-03003

ISSN： 2261-236x

Source： MATEC Web of conference, Vol.35, Iss.issue, 2015-12, pp. : 03003-03003

Access to resources Favorite

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

Arrow-bot: A Teaching Tool for Real-Time Embedded System Course

By  

MATEC Web of conference, Vol. 87, Iss. issue, 2017-08 ,pp. : 05001-05001

Edp Sciences

Access to resources Recommend Favorite

A real-time auralization system for PC

By Wang J-H.   Ferng J.C.  

INTER-NOISE and NOISE-CON Congress and Conference Proceedings, Vol. 2000, Iss. 4, 2000-08 ,pp. : 4026-4032

Institute of Noise Control Engineering

Access to resources Recommend Favorite

Facial Expression Emotion Detection for Real-Time Embedded Systems †

By Turabzadeh Saeed   Meng Hongying   Swash Rafiq M.   Pleva Matus   Juhar Jozef  

Technologies, Vol. 6, Iss. 1, 2018-01 ,pp. : 17-17

MDPI

Access to resources Recommend Favorite

Development and Deployment of a Real-Time Remote Continuous Monitoring System for Manholes

By Quist Gregory   Drake David   Jackson Joseph   Patnode Mark  

Proceedings of the Water Environment Federation, Vol. 2006, Iss. 10, 2006-01 ,pp. : 3090-3102

Water Environment Federation

Access to resources Recommend Favorite

Quantifying the Environmental Benefits of Real-Time Control in a Sewer Collection System

By Chan Carl C.   Vallabhaneni Srini   Chiu Daphne   Masbaum Bob  

Proceedings of the Water Environment Federation, Vol. 2010, Iss. 14, 2010-01 ,pp. : 2609-2625

Water Environment Federation

Access to resources Recommend Favorite