{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T16:01:51Z","timestamp":1729612911692,"version":"3.28.0"},"publisher-location":"Reston, Virigina","reference-count":15,"publisher":"American Institute of Aeronautics and Astronautics","content-domain":{"domain":["arc.aiaa.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2012,6,19]]},"DOI":"10.2514\/6.2012-2478","type":"proceedings-article","created":{"date-parts":[[2012,12,18]],"date-time":"2012-12-18T22:53:44Z","timestamp":1355871224000},"update-policy":"http:\/\/dx.doi.org\/10.2514\/aiaa_crossmarkpolicy","source":"Crossref","is-referenced-by-count":2,"title":["Verification of Adaptive Systems"],"prefix":"10.2514","author":[{"given":"Laura","family":"Pullum","sequence":"first","affiliation":[{"name":"Oak Ridge National Laboratory"}]},{"given":"Xiaohui","family":"Cui","sequence":"additional","affiliation":[{"name":"Oak Ridge National Laboratory"}]},{"given":"Emil","family":"Vassev","sequence":"additional","affiliation":[{"name":"Irish Software Engineering Research Centre"}]},{"given":"Michael","family":"Hinchey","sequence":"additional","affiliation":[{"name":"Irish Software Engineering Research Centre"}]},{"given":"Christopher","family":"Rouff","sequence":"additional","affiliation":[{"name":"Lockheed Martin Corporation"}]},{"given":"Richard","family":"Buskens","sequence":"additional","affiliation":[{"name":"Lockheed Martin Corporation"}]}],"member":"1387","published-online":{"date-parts":[[2012,9,6]]},"reference":[{"volume-title":"Office of the Chief Technologist","year":"2011","key":"p_1"},{"volume-title":"Office of the Chief Technologist","year":"2011","key":"p_2"},{"volume-title":"IEEE IT Professional.","year":"2012","author":"Vassev E.","key":"p_3"},{"volume-title":"You Can't Get There from Here! Large Problems and Potential Solutions in Developing New Classes of Complex Computer Systems","year":"2012","author":"Hinchey M.","key":"p_4"},{"volume-title":"Brian Taylor","year":"2005","author":"Taylor B.J.","key":"p_5"},{"volume-title":"Guidance for the Verification and Validation of Neural Networks","year":"2007","author":"Pullum L.","key":"p_6"},{"journal-title":"Software Tech News","year":"2004","author":"Pullum L.L.","key":"p_7"},{"key":"p_8","first-page":"77","volume":"2003","author":"Yerramalla S.","journal-title":"Self-Stabilizing Systems"},{"volume-title":"Inc.","year":"2005","author":"Phattanasri P.","key":"p_9"},{"key":"p_10","unstructured":"10Baier,C.andKatoen,J.P.,PrinciplesofModelChecking,MITPress,2008."},{"key":"p_11","doi-asserted-by":"publisher","DOI":"10.1109\/62.821660"},{"volume-title":"Concurrency Verification: Introduction to Compositional and Non-compositional Methods","year":"2001","author":"Roever W.-P.","key":"p_12"},{"volume-title":"An implementation of a compositional approach for verifying generalized nonblocking. Working Paper: 04\/2011","author":"Francis R.","key":"p_13"},{"key":"p_14","unstructured":"14Leduc,R.,andMalik,R.(2009).Sevenabstractionrulespreservinggeneralizednonblocking.WorkingPaper:07\/2009,The University of Waikato, Department of Computer Science, Hamilton, NZ."},{"key":"p_15","first-page":"448","volume-title":"Proceedings of 7th International Conference on Control and Automation, ICCA '09","author":"Leduc R.","year":"2009"}],"event":{"name":"Infotech@Aerospace 2012","location":"Garden Grove, California"},"container-title":["Infotech@Aerospace 2012"],"original-title":[],"link":[{"URL":"http:\/\/arc.aiaa.org\/doi\/pdf\/10.2514\/6.2012-2478","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,3,21]],"date-time":"2021-03-21T10:03:17Z","timestamp":1616320997000},"score":1,"resource":{"primary":{"URL":"https:\/\/arc.aiaa.org\/doi\/10.2514\/6.2012-2478"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,6,19]]},"references-count":15,"alternative-id":["10.2514\/6.2012-2478","10.2514\/MIAA12"],"URL":"https:\/\/doi.org\/10.2514\/6.2012-2478","relation":{},"subject":[],"published":{"date-parts":[[2012,6,19]]}}}