Conţinutul numărului revistei |
Articolul precedent |
Articolul urmator |
826 11 |
Ultima descărcare din IBN: 2023-07-06 17:44 |
Căutarea după subiecte similare conform CZU |
512+519.7+519.8 (1) |
Algebră (400) |
Cibernetică matematică (93) |
Cercetări operaționale (OR) teorii şi metode matematice (168) |
SM ISO690:2012 LETICHEVSKY, Alexander, LETYCHEVSKYI, Oleksandr, PESCHANENKO, Vladimir. Insertion Modeling and Its Applications. In: Computer Science Journal of Moldova, 2016, nr. 3(72), pp. 357-370. ISSN 1561-4042. |
EXPORT metadate: Google Scholar Crossref CERIF DataCite Dublin Core |
Computer Science Journal of Moldova | |||||||
Numărul 3(72) / 2016 / ISSN 1561-4042 /ISSNe 2587-4330 | |||||||
|
|||||||
CZU: 512+519.7+519.8 | |||||||
Pag. 357-370 | |||||||
|
|||||||
Descarcă PDF | |||||||
Rezumat | |||||||
The paper relates to the theoretical and practical aspects of insertion modeling. Insertion modeling is a theory of agents and environments interaction where an environment is considered as agent with a special insertion function. The main notions of insertion modeling are presented. Insertion Modeling System is described as a tool for development of different kinds of insertion machines. The research and industrial applications of Insertion Modeling System are presented. |
|||||||
Cuvinte-cheie process algebra, insertion modeling, formal models, verification |
|||||||
|