{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T07:35:49Z","timestamp":1729668949283,"version":"3.28.0"},"reference-count":23,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,6]]},"DOI":"10.1109\/sysose.2017.7994961","type":"proceedings-article","created":{"date-parts":[[2017,7,31]],"date-time":"2017-07-31T20:38:17Z","timestamp":1501533497000},"page":"1-6","source":"Crossref","is-referenced-by-count":1,"title":["Deriving stochastic properties from behavior models defined by Monterey Phoenix"],"prefix":"10.1109","author":[{"given":"John","family":"Quartuccio","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kristin","family":"Giammarco","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mikhail","family":"Auguston","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"Bayesian Networks and Decision Graphs Series for Statistics for Engineering and Information Science","year":"2001","author":"jensen","key":"ref10"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-68282-2_2"},{"journal-title":"Foundations of the Theory of Probability","year":"1933","author":"kolmogorov","key":"ref12"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/j.ress.2004.05.001"},{"journal-title":"Analyzing Monterey Phoenix event traces for uav flight patterns to assess the accuracy of probability calculations","year":"2016","author":"nilles","key":"ref14"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/SYSOSE.2017.7994952"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/21.97458"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-60218-6_17"},{"key":"ref18","first-page":"481","article-title":"Probabilistic simulations for probabilistic processes","author":"segala","year":"0"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-014-0411-7"},{"journal-title":"Monterey Phoenix System and Software Architecture and Workflow Modeling Language Manual (version 2)","year":"2016","author":"auguston","key":"ref4"},{"journal-title":"Behavior models for software architecture","year":"2014","author":"auguston","key":"ref3"},{"journal-title":"Pattern Classification","year":"2001","author":"richard","key":"ref6"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.2307\/2974673"},{"key":"ref8","first-page":"818","article-title":"An iterative growing and pruning algorithm for classification tree design","author":"saul","year":"1989","journal-title":"Systems Man and Cybernetics 1989 Conference Proceedings IEEE International Conference on"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/j.cviu.2005.09.012"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/1598732.1598733"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00992677"},{"journal-title":"Architecture modeling with monterey phoenix","year":"2016","author":"giammarco","key":"ref9"},{"key":"ref20","first-page":"176","article-title":"An introduction to probabilistic automata","volume":"78","author":"stoelinga","year":"2002","journal-title":"Bulletin of the EATCS"},{"key":"ref22","article-title":"Probability axioms","author":"weisstein","year":"2017","journal-title":"Math World-A Wolfram Web Resource"},{"journal-title":"Black Box Thinking - The Surprising Truth About Success","year":"2015","author":"syed","key":"ref21"},{"key":"ref23","doi-asserted-by":"crossref","first-page":"196","DOI":"10.1007\/BF03342749","article-title":"Improving environmental scanning systems using bayesian networks","volume":"6","author":"simon","year":"2013","journal-title":"Business Research"}],"event":{"name":"2017 12th System of Systems Engineering Conference (SoSE)","start":{"date-parts":[[2017,6,18]]},"location":"Waikoloa, HI, USA","end":{"date-parts":[[2017,6,21]]}},"container-title":["2017 12th System of Systems Engineering Conference (SoSE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7986734\/7994924\/07994961.pdf?arnumber=7994961","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,1]],"date-time":"2019-10-01T21:24:28Z","timestamp":1569965068000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7994961\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,6]]},"references-count":23,"URL":"https:\/\/doi.org\/10.1109\/sysose.2017.7994961","relation":{},"subject":[],"published":{"date-parts":[[2017,6]]}}}