Properties of a predicate transformer of the VRS system

Author: Letichevsky A.   Godlevsky A.   Letychevsky A.   Potiyenko S.   Peschanenko V.  

Publisher: Springer Publishing Company

ISSN: 1060-0396

Source: Cybernetics and Systems Analysis, Vol.46, Iss.4, 2010-07, pp. : 521-532

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