{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,11,19]],"date-time":"2024-11-19T16:50:11Z","timestamp":1732035011737},"publisher-location":"Cham","reference-count":12,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319061993"},{"type":"electronic","value":"9783319062006"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-06200-6_1","type":"book-chapter","created":{"date-parts":[[2014,4,23]],"date-time":"2014-04-23T05:53:48Z","timestamp":1398232428000},"page":"1-15","source":"Crossref","is-referenced-by-count":14,"title":["DO-333 Certification Case Studies"],"prefix":"10.1007","author":[{"given":"Darren","family":"Cofer","sequence":"first","affiliation":[]},{"given":"Steven","family":"Miller","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"1_CR1","doi-asserted-by":"crossref","unstructured":"Dorobantu, A., Johnson, W., Lie, F.A.P., Murch, A., Paw, Y.C., Gebre-Egziabher, D., Balas, G.J.: An Airborne Experimental Test Platform: From Theory to Flight. In: Proceedings of the 2013 American Control Conference, Washington DC (June 2013)","DOI":"10.1109\/ACC.2013.6579912"},{"key":"1_CR2","unstructured":"Federal Aviation Administration, Joint Advisory Circular: Flight Guidance System Appraisal, AC\/ACJ 25.1329 (2001)"},{"key":"1_CR3","doi-asserted-by":"crossref","unstructured":"Hagen, G., Tinelli, C.: Scaling up the formal verification of Lustre programs with SMT-based techniques. In: Proceedings of the 8th International Conference on Formal Methods in Computer-Aided Design (FMCAD 2008), Portland, Oregon. IEEE (2008)","DOI":"10.1109\/FMCAD.2008.ECP.19"},{"key":"1_CR4","doi-asserted-by":"crossref","unstructured":"Halbwachs, N., Caspi, P., Raymond, P., Pilaud, D.: The Synchronous Dataflow Programming Language LUSTRE. In: Proceedings of the IEEE (1991)","DOI":"10.1109\/5.97300"},{"key":"1_CR5","unstructured":"Hurd, J.: Composable packages for higher order logic theories. In: Aderhold, M., Autexier, S., Mantel, H. (eds.) Proceedings of the 6th International Verification Workshop, VERIFY 2010 (July 2010), \n \n http:\/\/gilith.com\/research\/papers"},{"key":"1_CR6","doi-asserted-by":"crossref","unstructured":"Miller, S.P., Whalen, M.W., Cofer, D.D.: Software Model Checking Takes Off. Communications of the ACM\u00a033(2) (February 2010)","DOI":"10.1145\/1646353.1646372"},{"key":"1_CR7","unstructured":"Norrish, M., Slind, K.: HOL-4 Manual (1998-2013), \n \n http:\/\/hol.sourceforge.net\/."},{"key":"1_CR8","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"298","DOI":"10.1007\/11814771_27","volume-title":"Automated Reasoning","author":"S. Obua","year":"2006","unstructured":"Obua, S., Skalberg, S.: Importing HOL into isabelle\/HOL. In: Furbach, U., Shankar, N. (eds.) IJCAR 2006. LNCS (LNAI), vol.\u00a04130, pp. 298\u2013302. Springer, Heidelberg (2006)"},{"key":"1_CR9","unstructured":"Owre, S., Shankar, N.: The Formal Semantics of PVS, NASA Technical Report CS-1999-209321 (May 1999)"},{"key":"1_CR10","unstructured":"RTCA DO-178C, Software Considerations in Airborne Software (December 2011)"},{"key":"1_CR11","unstructured":"RTCA DO-330, Software Tool Qualification Considerations (December 2011)"},{"key":"1_CR12","unstructured":"RTCA DO-333, Formal Methods Supplement to DO-178C and DO-278A (December 2011)"}],"container-title":["Lecture Notes in Computer Science","NASA Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-06200-6_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,26]],"date-time":"2019-05-26T17:09:57Z","timestamp":1558890597000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-06200-6_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319061993","9783319062006"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-06200-6_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}