{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:07:54Z","timestamp":1725484074525},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540411864"},{"type":"electronic","value":"9783540408918"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-40891-6_15","type":"book-chapter","created":{"date-parts":[[2007,5,26]],"date-time":"2007-05-26T20:01:38Z","timestamp":1180209698000},"page":"165-175","source":"Crossref","is-referenced-by-count":1,"title":["Dependability of Computer Control Systems in Power Plants"],"prefix":"10.1007","author":[{"given":"Cl\u00e1udia","family":"Almeida","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alberto","family":"Arazo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yves","family":"Crouzet","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Karama","family":"Kanoun","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,6,1]]},"reference":[{"key":"15_CR1","doi-asserted-by":"crossref","unstructured":"Arlat, J., Crouzet, Y., Laprie, J.-C. \u201cFault Injection for Dependability Validation of Fault-Tolerant Computing Systems\u201d, in Int. Symp. on Fault-Tolerant Computing (FTCS-19), Chicago, IL (USA) (1989) 348\u2013355.","DOI":"10.1109\/FTCS.1989.105591"},{"issue":"10","key":"15_CR2","first-page":"1433","volume":"30","author":"J. Arlat","year":"1996","unstructured":"Arlat, J. \u201cInformatique S\u00fbre de Fonctionnement: d\u00e9fis et solutions\u201d, in Journal Europ\u00e9en des Syst\u00e8mes Automatis\u00e9s, vol. 30, n. 10 (1996) 1433\u20131465, (in french).","journal-title":"Journal Europ\u00e9en des Syst\u00e8mes Automatis\u00e9s"},{"key":"15_CR3","unstructured":"B\u00e9ounes, C., et al. \u201cSURF-2: A Program for Dependability Evaluation of Complex Hardware and Software Systems\u201d, in Proc. 23rd. Int. Symp. on Fault-Tolerant Computing (FTCS-23), Toulouse, France (1993) 668\u2013673."},{"issue":"2","key":"15_CR4","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1109\/32.666826","volume":"24","author":"J. Carreira","year":"1998","unstructured":"Carreira, J., Madeira, H., Silva, J. G. \u201cXception: A Technique for the Experimental Evaluation of Dependability in Modern Computers\u201d, in IEEE Trans. on Software Engineering, vol. 24, no. 2 (1998) 125\u2013135.","journal-title":"IEEE Trans. on Software Engineering"},{"key":"15_CR5","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1109\/2.386985","volume":"28","author":"J. A. Clark","year":"1995","unstructured":"Clark, J. A., Pradham, D. K. \u201cFault Injection: A Method for Validating Computer-System Dependability\u201d, in IEEE Computer, vol. 28 (1995) 47\u201356.","journal-title":"IEEE Computer"},{"key":"15_CR6","doi-asserted-by":"publisher","first-page":"528","DOI":"10.1109\/12.769435","volume":"48","author":"K. Kanoun","year":"1999","unstructured":"Kanoun, K., Borrel, M., Morteveille, T., Peytavin, A. \u201cAvailability of CAUTRA, a Subset of the French Air Traffic Control System\u201d, in IEEE Trans. on Computers, vol. 48, n. 5 (1999) 528\u2013535.","journal-title":"IEEE Trans. on Computers"},{"key":"15_CR7","unstructured":"M. Ajmone Marsan, G. Balbo, G. Conte, S. Donatelli and G. Franchescinis, Modelling with Generalized Stochastic Petri Nets, Series in Parallel Computing, Wiley (1995)."},{"key":"15_CR8","unstructured":"M. Rodr\u00edguez, F. Salles, J. Arlat and J.-C. Fabre, \u201cMAFALDA:Microkernel Assessment by Fault Injection and Design Aid\u201d, in 3rd European Dependable Computing Conference (EDDC-3), Prague, Tcheck Republic (1999) 143\u2013160."}],"container-title":["Lecture Notes in Computer Science","Computer Safety, Reliability and Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-40891-6_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,16]],"date-time":"2019-02-16T18:46:54Z","timestamp":1550342814000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-40891-6_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540411864","9783540408918"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/3-540-40891-6_15","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}