An Input Language Based on Extended Message Sequence Charts and Used for Test Specification

Author： Kotlyarov V. P.   Sukhomlinov V. A.  

Publisher： Springer Publishing Company

ISSN： 1060-0396

Source： Cybernetics and Systems Analysis, Vol.40, Iss.1, 2004-01, pp. : 43-51

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

Regular sets of infinite message sequence charts

By Kuske D.  

Information and Computation, Vol. 187, Iss. 1, 2003-11 ,pp. : 80-109

Elsevier

Access to resources Recommend Favorite

Transformation of a language L* specification of an FSM into an automata equivalent specification in the language L

By Chebotarev A.  

Cybernetics and Systems Analysis, Vol. 46, Iss. 4, 2010-07 ,pp. : 574-582

Springer Publishing Company

Access to resources Recommend Favorite

A Model Specification Test For GARCH(1,1) Processes

By  

SCANDINAVIAN JOURNAL OF STATISTICS, Vol. 42, Iss. 4, 2015-12 ,pp. : 1167-1193

John Wiley & Sons Inc

Access to resources Recommend Favorite

Structure-preserving specification languages for knowledge-based systems

By Harmelen F.V.   Aben M.  

International Journal of Human-Computer Studies, Vol. 44, Iss. 2, 1996-02 ,pp. : 187-212

Academic Press

Access to resources Recommend Favorite

A Weighted Goodness-of-Fit Test for {\rm GARCH}(1,1) Specification

By Berkes I.  

Lithuanian Mathematical Journal, Vol. 44, Iss. 1, 2004-01 ,pp. : 1-17

Springer Publishing Company

Access to resources Recommend Favorite