| Articolul precedent |
| Articolul urmator |
 |
 558 0 |
 SM ISO690:2012LETICHEVSKY, Alexander, LETYCHEVSKYI, Oleksandr, PESCHANENKO, Vladimir. Insertion Modeling and Its Applications. In: Conference on Mathematical Foundations of Informatics, Ed. 2016, 25-30 iulie 2016, Chișinău. Chișinău, Republica Moldova: "VALINEX" SRL, 2016, pp. 73-84. ISBN 978‐9975‐4237‐4‐8. |
| EXPORT metadate: Google Scholar Crossref CERIF DataCite Dublin Core |
| Conference on Mathematical Foundations of Informatics 2016 | ||||||
|
Conferința "Conference on Mathematical Foundations of Informatics" 2016, Chișinău, Moldova, 25-30 iulie 2016 | ||||||
|
||||||
| Pag. 73-84 | ||||||
|
||||||
 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 deferent kinds of insertion machines. The research and industrial applications of Insertion Modeling System are presented. |
||||||
| Cuvinte-cheie process algebra, insertion modeling, formal models, verification |
||||||
|
|
|
|
