A formal framework for black-box conformance testing of distributed real-time systems

Author： Krichen Moez  

Publisher： Inderscience Publishers

ISSN： 1757-8779

Source： International Journal of Critical Computer-Based Systems, Vol.3, Iss.1-2, 2012-01, pp. : 26-43

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

Conformance Testing of Preemptive Real-Time Systems

By  

International Journal of Embedded and Real-Time Communication Systems (IJERTCS), Vol. 4, Iss. 4, 2013-10 ,pp. : 1-26

IGI Global_journal

Access to resources Recommend Favorite

Testing distributed real-time systems in the presence of inaccurate clock synchronizations

By Khoumsi A.  

Information and Software Technology, Vol. 45, Iss. 12, 2003-09 ,pp. : 853-864

Elsevier

Access to resources Recommend Favorite

Information gain of black-box testing

By Yang Linmin  

Formal Aspects of Computing, Vol. 23, Iss. 4, 2011-07 ,pp. : 513-539

Springer Publishing Company

Access to resources Recommend Favorite

A Supervisory Control Method for Ensuring the Conformance of Real-Time Discrete Event Systems

By Khoumsi Ahmed  

Discrete Event Dynamic Systems, Vol. 15, Iss. 4, 2005-12 ,pp. : 397-431

Springer Publishing Company

Access to resources Recommend Favorite

A Modular Approach to Programming Distributed Real-Time Systems

By Ren S.   Agha G.A.   Saito M.  

Journal of Parallel and Distributed Computing, Vol. 36, Iss. 1, 1996-07 ,pp. : 4-12

Academic Press

Access to resources Recommend Favorite