An automatic method for the dynamic construction of abstractions of states of a formal model

ISSN： 1060-0396

Source： Cybernetics and Systems Analysis, Vol.46, Iss.4, 2010-07, pp. : 583-601

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

Formal architectural abstractions for interactive software

By Markopoulos P. Johnson P. Rowson J.

International Journal of Human-Computer Studies, Vol. 49, Iss. 5, 1998-11 ,pp. : 675-715

Academic Press

Access to resources Recommend Favorite

Automatic construction of FCMs

By Schneider M. Shnaider E. Kandel A. Chew G.

Fuzzy Sets and Systems, Vol. 93, Iss. 2, 1998-01 ,pp. : 161-172

Elsevier

Access to resources Recommend Favorite

Evolutionary dynamic model of population with niche construction and its application research

By Li Zi-zhen Han Xiao-zhuo Li Wen-long

Applied Mathematics and Mechanics, Vol. 27, Iss. 3, 2006-03 ,pp. : 327-334

Springer Publishing Company

Access to resources Recommend Favorite

Quantum Mechanics as a Dynamic Construction

By Rylov Y.A.

Foundations of Physics, Vol. 28, Iss. 2, 1998-02 ,pp. : 245-272

Springer Publishing Company

Access to resources Recommend Favorite

Automatic Baseline Construction Using Vertical Histograms

By Korotkov A.

Journal of Analytical Chemistry, Vol. 60, Iss. 7, 2005-07 ,pp. : 614-618

MAIK Nauka/Interperiodica

Access to resources Recommend Favorite