{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T09:53:09Z","timestamp":1743069189481,"version":"3.40.3"},"publisher-location":"Cham","reference-count":13,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319571409"},{"type":"electronic","value":"9783319571416"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-57141-6_26","type":"book-chapter","created":{"date-parts":[[2017,4,7]],"date-time":"2017-04-07T06:14:00Z","timestamp":1491545640000},"page":"244-254","source":"Crossref","is-referenced-by-count":0,"title":["The Approach to Provide and Support the Aviation Transportation System Safety Based on Automation Models"],"prefix":"10.1007","author":[{"given":"Alexander","family":"Rezchikov","sequence":"first","affiliation":[]},{"given":"Vadim","family":"Kushnikov","sequence":"additional","affiliation":[]},{"given":"Vladimir","family":"Ivaschenko","sequence":"additional","affiliation":[]},{"given":"Aleksey","family":"Bogomolov","sequence":"additional","affiliation":[]},{"given":"Leonid","family":"Filimonyuk","sequence":"additional","affiliation":[]},{"given":"Olga","family":"Dolinina","sequence":"additional","affiliation":[]},{"given":"Ekaterina","family":"Kulakova","sequence":"additional","affiliation":[]},{"given":"Konstantin","family":"Kachur","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,4,8]]},"reference":[{"key":"26_CR1","first-page":"44","volume":"8","author":"VV Kluev","year":"2013","unstructured":"Kluev, V.V., Rezchikov, A.F., Bogomolov, A.S., Filimonyuk, LYu.: The conception of complex resource for research of\u00a0\u00abman \u2013 object \u2013 environment\u00bb\u00a0systems\u2019 safety. Test. Diagn. 8, 44\u201355 (2013)","journal-title":"Test. Diagn."},{"key":"26_CR2","first-page":"12","volume":"7","author":"VV Kluev","year":"2014","unstructured":"Kluev, V.V., Rezchikov, A.F., Kushnikov, V.A., et al.: An analysis of critical situations caused by unfavorable concurrence of circumstances. Test. Diagn. 7, 12\u201316 (2014)","journal-title":"Test. Diagn."},{"key":"26_CR3","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1137\/1038058","volume":"38","author":"NJA Sloane","year":"1996","unstructured":"Sloane, N.J.A.: An encyclopedia of integer sequences. SIAM Rev. 38, 333\u2013337 (1996)","journal-title":"SIAM Rev."},{"key":"26_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1007\/978-3-642-22953-4_15","volume-title":"Fundamentals of Computation Theory","author":"AN Trahtman","year":"2011","unstructured":"Trahtman, A.N.: Modifying the upper bound on the length of minimal synchronizing word. In: Owe, O., Steffen, M., Telle, J.A. (eds.) FCT 2011. LNCS, vol. 6914, pp. 173\u2013180. Springer, Heidelberg (2011). doi:\n10.1007\/978-3-642-22953-4_15"},{"key":"26_CR5","first-page":"283","volume":"35","author":"R Lapkovsky","year":"2011","unstructured":"Lapkovsky, R., Ivanov, A., Ivaschenko, V.: Cause-effect approach to traffic modeling on problem intervals of road network. Large Scale Syst. Control 35, 283\u2013303 (2011)","journal-title":"Large Scale Syst. Control"},{"key":"26_CR6","first-page":"31","volume":"3","author":"MS Neymark","year":"2013","unstructured":"Neymark, M.S., Tsesarskiy, L.G., Filimonyuk, L.Y.: The decision-making model for an entrance of airplanes into an airport\u2019s responsibility zone. All-Russ. Sci.-Tech. J. \u201cPolyot\u201d (\u201cFlight\u201d) 3, 31\u201337 (2013)","journal-title":"All-Russ. Sci.-Tech. J. \u201cPolyot\u201d (\u201cFlight\u201d)"},{"key":"26_CR7","first-page":"3","volume":"5","author":"GV Novozhilov","year":"2013","unstructured":"Novozhilov, G.V., Rezchikov, A.F., Neymark, M.S., et al.: Human factor in aviation transport systems. All-Russ. Sci.-Tech. J. \u201cPolyot\u201d (\u201cFlight\u201d) 5, 3\u201310 (2013)","journal-title":"All-Russ. Sci.-Tech. J. \u201cPolyot\u201d (\u201cFlight\u201d)"},{"key":"26_CR8","first-page":"3","volume":"7","author":"GV Novozhilov","year":"2011","unstructured":"Novozhilov, G.V., Rezchikov, A.F., Neymark, M.S., et al.: Cause-and-effect approach to the analysis of aviation transport systems. All-Russ. Sci.-Tech. J. \u201cPolyot\u201d (\u201cFlight\u201d) 7, 3\u20138 (2011)","journal-title":"All-Russ. Sci.-Tech. J. \u201cPolyot\u201d (\u201cFlight\u201d)"},{"key":"26_CR9","first-page":"17","volume":"3","author":"DV Speransky","year":"1998","unstructured":"Speransky, D.V.: Generalized synchronization of linear sequential machines. Cybernetics 3, 17\u201325 (1998)","journal-title":"Cybernetics"},{"key":"26_CR10","first-page":"318","volume":"3","author":"MA Tsukanov","year":"2013","unstructured":"Tsukanov, M.A.: Coordination of units process as difficult structured of manufacture as an economic measure. Large Scale Syst. Control 3, 318\u2013321 (2013)","journal-title":"Large Scale Syst. Control"},{"key":"26_CR11","first-page":"240","volume":"43","author":"V Sharov","year":"2013","unstructured":"Sharov, V.: Application of bayesian approach to update events\u2019 probabilities in automated system of aviation accidents forecasting and prevention. Large Scale Syst. Control 43, 240\u2013253 (2013)","journal-title":"Large Scale Syst. Control"},{"key":"26_CR12","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1002\/nav.3800040206","volume":"4","author":"D Rosenblatt","year":"1957","unstructured":"Rosenblatt, D.: On the graphs and asymptotic forms of finite boolean relation matrices. Naval Res. Logistics Quart. 4, 151 (1957)","journal-title":"Naval Res. Logistics Quart."},{"key":"26_CR13","volume-title":"Linear Sequential Circuits: Analysis, Synthesis, and Applications","author":"A Gill","year":"1967","unstructured":"Gill, A.: Linear Sequential Circuits: Analysis, Synthesis, and Applications. McGraw-Hill, New York (1967)"}],"container-title":["Advances in Intelligent Systems and Computing","Software Engineering Trends and Techniques in Intelligent Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-57141-6_26","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,7,12]],"date-time":"2017-07-12T11:32:29Z","timestamp":1499859149000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-57141-6_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319571409","9783319571416"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-57141-6_26","relation":{},"ISSN":["2194-5357","2194-5365"],"issn-type":[{"type":"print","value":"2194-5357"},{"type":"electronic","value":"2194-5365"}],"subject":[],"published":{"date-parts":[[2017]]}}}