{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:10:40Z","timestamp":1725455440464},"publisher-location":"Berlin, Heidelberg","reference-count":5,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540607571"},{"type":"electronic","value":"9783540493624"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/bfb0015481","type":"book-chapter","created":{"date-parts":[[2005,11,13]],"date-time":"2005-11-13T07:07:57Z","timestamp":1131865677000},"page":"21-50","source":"Crossref","is-referenced-by-count":0,"title":["Developing fault tolerant software in Ada for real-time dependable systems"],"prefix":"10.1007","author":[{"given":"P.","family":"David","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"T.","family":"Planche","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Correge","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J. F.","family":"Chane","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"key":"4_CR1","unstructured":"C. Beounes, Y. Deswartes, J.-C. Fabre, P. Thevenod-Fosse, \u201cCoexistence of Software Programs with Different Levels of Criticality\u201d, LAAS Report no. 94-515, 1994. (In French)"},{"key":"4_CR2","unstructured":"K.J. Biba, \u201cIntegrity Consideration for Secure Computer Systems\u201d, Tech. Rept. no. MTR-3153, The MITRE Corp., 1975."},{"key":"4_CR3","unstructured":"C. Guidal, P. David, P. Humbert, \u201cA Highly Dependable Fault-Tolerant Computer System for European Manned Space Transportation Vehicles3, Proc. 45th Int. Astronautical Fed. Congress, Jerusalem, Israel, 1994."},{"volume-title":"Dependability: Basic Concepts and Terminology","year":"1992","key":"4_CR4","unstructured":"J.-C. Laprie (Ed.), Dependability: Basic Concepts and Terminology, Springer-Verlag, Vienna, 1992."},{"key":"4_CR5","first-page":"510","volume-title":"Proc. FTCS-25","author":"T. Vardanega","year":"1995","unstructured":"T. Vardanega, P. David, J.-F. Chane, W. Mader, R. Messaros, J. Arlat, \u201cOn the Development of Fault-Tolerant On-Board Control Software and its Evaluation by Fault Injection\u201d, Proc. FTCS-25, pp. 510\u2013515, IEEE, Pasadena, California, 1995."}],"container-title":["Lecture Notes in Computer Science","Ada in Europe"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0015481","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,4]],"date-time":"2019-02-04T14:28:08Z","timestamp":1549290488000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0015481"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540607571","9783540493624"],"references-count":5,"URL":"https:\/\/doi.org\/10.1007\/bfb0015481","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}