{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T02:56:08Z","timestamp":1729652168786,"version":"3.28.0"},"reference-count":14,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,7]]},"DOI":"10.1109\/eurocon.2017.8011178","type":"proceedings-article","created":{"date-parts":[[2017,8,17]],"date-time":"2017-08-17T16:26:04Z","timestamp":1502987164000},"page":"576-581","source":"Crossref","is-referenced-by-count":1,"title":["Systems smart effects as the consequence of the systems complexity"],"prefix":"10.1109","author":[{"given":"Dmitry","family":"Maximov","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sergey","family":"Ryvkin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(87)90045-4"},{"key":"ref11","article-title":"Topoi. The categorial analysis of logic","author":"goldblatt","year":"1979","journal-title":"Amsterdam N -H Pub Co"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1080\/17545730802294452"},{"key":"ref13","first-page":"82","article-title":"N.A. Vasil'ev's logic and many-valued logics","volume":"22","author":"maximov","year":"2016","journal-title":"Logical Investigations"},{"key":"ref14","first-page":"21","article-title":"N. Vasiliev's logic ideas and the categorical semantics of many-valued logic","year":"2016","journal-title":"Logica universalis"},{"journal-title":"Multi-valued logic in graph transformations of self-adaptive systems","year":"0","author":"maximov","key":"ref4"},{"key":"ref3","first-page":"582","article-title":"Rule-based modeling and static analysis of self-adaptive systems by graph transformation","volume":"8950","author":"bucchiarone","year":"2015","journal-title":"LNCS"},{"journal-title":"Fundamentals of Algebraic Graph Transformation","year":"2006","author":"ehrig","key":"ref6"},{"key":"ref5","first-page":"496","article-title":"Graf grammars and petri net transformations","volume":"3098","author":"ehrig","year":"2004","journal-title":"LNCS"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1134\/S0005117917040105"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1134\/S0005117916030085"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/1516533.1516538"},{"key":"ref1","doi-asserted-by":"crossref","first-page":"48","DOI":"10.1007\/978-3-642-02161-9_3","article-title":"Engineering self-adaptive systems through feedback loops","author":"brun","year":"2009","journal-title":"Software Engineering for Self-Adaptive Systems"},{"key":"ref9","article-title":"Lattice Theory","author":"birkhoff","year":"1967","journal-title":"SIGMOD Providence Rhode Island"}],"event":{"name":"IEEE EUROCON 2017 -17th International Conference on Smart Technologies","start":{"date-parts":[[2017,7,6]]},"location":"Ohrid, Macedonia","end":{"date-parts":[[2017,7,8]]}},"container-title":["IEEE EUROCON 2017 -17th International Conference on Smart Technologies"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8004574\/8011054\/08011178.pdf?arnumber=8011178","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,2]],"date-time":"2019-10-02T10:28:54Z","timestamp":1570012134000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8011178\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,7]]},"references-count":14,"URL":"https:\/\/doi.org\/10.1109\/eurocon.2017.8011178","relation":{},"subject":[],"published":{"date-parts":[[2017,7]]}}}