{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T09:22:29Z","timestamp":1763457749459,"version":"3.28.0"},"reference-count":7,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,9]]},"DOI":"10.1109\/stc-csit.2018.8526698","type":"proceedings-article","created":{"date-parts":[[2018,11,8]],"date-time":"2018-11-08T23:28:11Z","timestamp":1541719691000},"page":"314-317","source":"Crossref","is-referenced-by-count":5,"title":["Technique of Automated Construction of States and Transitions Graph for the Analysis of Technical Systems Reliability"],"prefix":"10.1109","author":[{"given":"Yuriy","family":"Bobalo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vitaliy","family":"Yakovyna","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maksym","family":"Seniv","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ivan","family":"Symets","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref4","first-page":"266","article-title":"Improved FBD and RBD generation for system reliability assessment","author":"venzi","year":"0","journal-title":"Proc Of (2013) 12th IMEKO TC10 Workshop on Technical Diagnostics New Perspective in Measurements Tools and Techniques for Industrial Applications Proceedings"},{"key":"ref3","doi-asserted-by":"crossref","first-page":"829","DOI":"10.1016\/j.ress.2007.03.029","article-title":"Automatic creation of Markov models for reliability assessment of safety instrumented systems","volume":"93","author":"haitao","year":"2008","journal-title":"Reliability Engineering & System Safety"},{"key":"ref6","first-page":"14","article-title":"Algorithms of automated formulation of the operability condition of complex technical systems","author":"yuriy","year":"0","journal-title":"Perspective technologies and methods in MEMS design (MEMSTECH‘2018) pros of XIV-th Intern Conf 18–22 april 2018"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.3103\/S0146411614010039"},{"key":"ref7","first-page":"338","article-title":"Prohramna realizatsiya modeli nadiynosti tekhnichnoyi nerezervovanoyi systemy z obmezhenoyu kil‘kistyu vidnovlen’","author":"mandziy","year":"0","journal-title":"Komp”yuterni nauky ta informatsiyni tekhnolohiyi - 2013 - Visnyk Nats Universytetu”L'vivs'ka politekhnika"},{"key":"ref2","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1007\/s00158-007-0121-7","article-title":"Sequential optimization and reliability assessment for multidisciplinary systems design","volume":"35","author":"xiaoping","year":"2008","journal-title":"Structural and Multidisciplinary Optimization"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/TR.1982.5221283"}],"event":{"name":"2018 IEEE 13th International Scientific and Technical Conference on Computer Sciences and Information Technologies (CSIT)","start":{"date-parts":[[2018,9,11]]},"location":"Lviv","end":{"date-parts":[[2018,9,14]]}},"container-title":["2018 IEEE 13th International Scientific and Technical Conference on Computer Sciences and Information Technologies (CSIT)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8509220\/8526581\/08526698.pdf?arnumber=8526698","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,26]],"date-time":"2022-01-26T21:44:36Z","timestamp":1643233476000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8526698\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,9]]},"references-count":7,"URL":"https:\/\/doi.org\/10.1109\/stc-csit.2018.8526698","relation":{},"subject":[],"published":{"date-parts":[[2018,9]]}}}