Systems Specification by Basic Protocols

Author： Letichevsky A.   Kapitonova Yu.   Volkov V.   Letichevsky A.   Baranov S.   Kotlyarov V.   Weigert T.  

Publisher： Springer Publishing Company

ISSN： 1060-0396

Source： Cybernetics and Systems Analysis, Vol.41, Iss.4, 2005-07, pp. : 479-493

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 compositional framework to the specification of service protocols controllability and substitutability

By Hameurlain Nabil  

International Journal of Computer Mathematics, Vol. 91, Iss. 6, 2014-06 ,pp. : 1137-1155

Taylor & Francis Ltd

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

Stochastic Networked Control Systems with Dynamic Protocols

By  

ASIAN JOURNAL OF CONTROL, Vol. 17, Iss. 1, 2015-01 ,pp. : 99-110

John Wiley & Sons Inc

Access to resources Recommend Favorite

Basic structures of hyperbolic relaxation systems

By Yong Wen-An  

Proceedings Section A: Mathematics - Royal Society of Edinburgh, Vol. 132, Iss. 5, 2002-10 ,pp. : 1259-1274

Royal Society of Edinburgh

Access to resources Recommend Favorite

Multi-Agent Systems Specification and Certification: A Situation and State Calculus Approach

By Gouveia Paula  

Annals of Mathematics and Artificial Intelligence, Vol. 41, Iss. 2-4, 2004-08 ,pp. : 301-338

Springer Publishing Company

Access to resources Recommend Favorite