{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T10:44:56Z","timestamp":1761561896125,"version":"3.40.3"},"publisher-location":"Cham","reference-count":11,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319084213"},{"type":"electronic","value":"9783319084220"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"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":[[2015]]},"DOI":"10.1007\/978-3-319-08422-0_35","type":"book-chapter","created":{"date-parts":[[2014,8,12]],"date-time":"2014-08-12T15:17:11Z","timestamp":1407856631000},"page":"233-239","source":"Crossref","is-referenced-by-count":10,"title":["A formal approach for identifying assurance deficits in unmanned aerial vehicle software"],"prefix":"10.1007","author":[{"given":"Adrian","family":"Groza","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ioan Alfred","family":"Letia","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anca","family":"Goron","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sergiu","family":"Zaporojan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"35_CR1","doi-asserted-by":"crossref","unstructured":"Areces, C., ten Cate, B.: Hybrid logics. In: Blackburn, P., Van Benthem, J., Wolter, F. (eds.) Handbook of Modal Logic, pp. 821\u2013868. Elsevier Amsterdam (2007)","DOI":"10.1016\/S1570-2464(07)80017-6"},{"key":"35_CR2","unstructured":"Baader, F.: The description logic handbook: theory, implementation, and applications. Cambridge university press (2003)"},{"key":"35_CR3","doi-asserted-by":"crossref","unstructured":"Brunel, J., Cazin, J.: Formal methods for the certification of autonomous unmanned aircraft systems. In: Formal Verification of a Safety Argumentation and Application to a Complex UAV System. pp. 307\u2013318. SAFECOMP\u201911, Springer-Verlag, Berlin, Heidelberg (2012)","DOI":"10.1007\/978-3-642-33675-1_27"},{"issue":"6","key":"35_CR4","doi-asserted-by":"publisher","first-page":"1217","DOI":"10.1093\/logcom\/exq055","volume":"21","author":"S. Cranefield","year":"2011","unstructured":"Cranefield, S., Winikoff, M.: Verifying social expectations by model checking truncated paths. Journal of Logic and Computation 21(6), 1217\u20131256 (2011)","journal-title":"Journal of Logic and Computation"},{"key":"35_CR5","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1016\/j.jal.2005.06.010","volume":"4","author":"M. Franceschet","year":"2006","unstructured":"Franceschet, M., de Rijke, M.: Model checking hybrid logics (with an application to semistructured data). Journal of Applied Logic 4, 279\u2013304 (2006)","journal-title":"Journal of Applied Logic"},{"issue":"3","key":"35_CR6","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1109\/MS.2012.26","volume":"29","author":"P. Graydon","year":"2012","unstructured":"Graydon, P., Habli, I., Hawkins, R., Kelly, T., Knight, J.: Arguing conformance. Software, IEEE 29(3), 50\u201357 (2012)","journal-title":"Software, IEEE"},{"issue":"9","key":"35_CR7","doi-asserted-by":"publisher","first-page":"1551","DOI":"10.1016\/j.infsof.2013.02.008","volume":"55","author":"P. Graydon","year":"2013","unstructured":"Graydon, P., Kelly, T.P.: Using argumentation to evaluate software assurance standards. Information and Software Technology 55(9), 1551\u20131562 (2013)","journal-title":"Information and Software Technology"},{"issue":"3","key":"35_CR8","doi-asserted-by":"crossref","first-page":"267","DOI":"10.3233\/SW-2011-0032","volume":"3","author":"V. Haarslev","year":"2012","unstructured":"Haarslev, V., Hidde, K., M\u00f6ller, R., Wessel, M.: The racerpro knowledge representation and reasoning system. Semantic Web 3(3), 267\u2013277 (2012)","journal-title":"Semantic Web"},{"key":"35_CR9","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.datak.2013.03.002","volume":"87","author":"I.A. Letia","year":"2013","unstructured":"Letia, I.A., Groza, A.: Compliance checking of integrated business processes. Data Knowl. Eng. 87, 1\u201318 (2013)","journal-title":"Data Knowl. Eng."},{"key":"35_CR10","doi-asserted-by":"crossref","unstructured":"Rushby, J.: A safety-case approach for certifying adaptive systems. In: AIAA Infotech@Aerospace Conference, American Inst. of Aeronautics and Astronautics (2009)","DOI":"10.2514\/6.2009-1992"},{"key":"35_CR11","doi-asserted-by":"crossref","unstructured":"Webster, M., Fisher, M., Cameron, N., Jump, M.: Formal methods for the certification of autonomous unmanned aircraft systems. In: Proceedings of the 30th International Conference on Computer Safety, Reliability, and Security. pp. 228\u2013242. SAFECOMP\u201911, Springer-Verlag, Berlin, Heidelberg (2011)","DOI":"10.1007\/978-3-642-24270-0_17"}],"container-title":["Advances in Intelligent Systems and Computing","Progress in Systems Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-08422-0_35","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,21]],"date-time":"2023-01-21T02:39:24Z","timestamp":1674268764000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-08422-0_35"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319084213","9783319084220"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-08422-0_35","relation":{},"ISSN":["2194-5357","2194-5365"],"issn-type":[{"type":"print","value":"2194-5357"},{"type":"electronic","value":"2194-5365"}],"subject":[],"published":{"date-parts":[[2015]]}}}