Krichen, M. and Tripakis, S. (2009) Conformance Testing for Real-Time Systems. Formal Methods in System Design, 34, 238-304. - References

Journals by Subject

Publish with us

Follow SCIRP

	+1 323-425-8868
	customer@scirp.org
	+86 18163351462(WhatsApp)
	1655362766

	Paper Publishing WeChat

Article citationsMore>>

Krichen, M. and Tripakis, S. (2009) Conformance Testing for Real-Time Systems. Formal Methods in System Design, 34, 238-304.
http://dx.doi.org/10.1007/s10703-009-0065-1

has been cited by the following article:

Open Access

Articles

Discrete Event Net Based Modeling and Control System Design for Real-Time Concurrent Control of Multiple Robot Systems

Gen’ichi Yasuda

Intelligent Control and Automation Vol.3 No.2, May 23, 2012

DOI: 10.4236/ica.2012.32015
Open Access

Articles

Real-Time Debugging and Testing a Control System Using Matlab

Zenghui Wang

Open Journal of Applied Sciences Vol.3 No.2B, October 12, 2013

DOI: 10.4236/ojapps.2013.32B012
Open Access

Articles

Modeling and Design of Real-Time Pricing Systems Based on Markov Decision Processes

Koichi Kobayashi, Ichiro Maruta, Kazunori Sakurama, Shun-ichi Azuma

Applied Mathematics Vol.5 No.10, June 3, 2014

DOI: 10.4236/am.2014.510141
Open Access

Articles

Design and Implementation of a Real Time Wireless Monitor System for Urinary Incontinence

Xuhui Nie, Zongyu Song, Jinsong Yang, Ziwei Dengyun, Mingxi Yin, Xiaohui Duan, Bingli Jiao

Int'l J. of Communications, Network and System Sciences Vol.10 No.5B, May 26, 2017

DOI: 10.4236/ijcns.2017.105B025
Open Access

Articles

Design of a Real-Time Monitoring System for the Temperature of Nixing Pottery Kilns

Jianzhong Yang, Ximing Yang, Xinggang Zhang, Huirong Chen, Yinwei He

Open Access Library Journal Vol.10 No.4, April 23, 2023

DOI: 10.4236/oalib.1109869

Follow SCIRP

	+1 323-425-8868
	customer@scirp.org
	+86 18163351462(WhatsApp)
	1655362766

	Paper Publishing WeChat

Journals by Subject

Publish with us

Article citationsMore>>

Home

About SCIRP

Service

Policies