{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:16:05Z","timestamp":1725488165010},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540426073"},{"type":"electronic","value":"9783540454168"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45416-0_22","type":"book-chapter","created":{"date-parts":[[2007,7,20]],"date-time":"2007-07-20T15:29:50Z","timestamp":1184945390000},"page":"227-237","source":"Crossref","is-referenced-by-count":5,"title":["Dependability Evaluation"],"prefix":"10.1007","author":[{"given":"Cl\u00e1udia","family":"Betous-Almeida","sequence":"first","affiliation":[]},{"given":"Karama","family":"Kanoun","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,9,26]]},"reference":[{"key":"22_CR1","unstructured":"Ajmone Marsan, M., Balbo, G., Conte, G., Donatelli, S., and Franchescinis, G., Modelling with Generalized Stochastic Petri Nets, Series in Parallel Computing, Wiley (1995)."},{"key":"22_CR2","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1007\/3-540-40891-6_15","volume-title":"Dependability of Computer Control Systems in Power Plants: Analytical and Experimental Evaluation","author":"C. Almeida","year":"2000","unstructured":"Almeida, C., Arazo, A., Crouzet, Y., and Kanoun, K., \u201cDependability of Computer Control Systems in Power Plants: Analytical and Experimental Evaluation\u201d, in Lecture Notes in Computer Science, vol. 1943, Springer Verlag (2000) 165\u2013175."},{"key":"22_CR3","unstructured":"B\u00e9ounes, C., and 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."},{"key":"22_CR4","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1007\/3-540-48254-7_2","volume-title":"Proc. 3rd European Dependable Computing Conf.(EDCC-3)","author":"A. Bondavalli","year":"1999","unstructured":"Bondavalli, A., Mura, I., and Trivedi, K.S., \u201cDependabilityModelling and Sensitivity Analysis of Scheduled Maintenance Systems\u201d, in Proc. 3rd European Dependable Computing Conf.(EDCC-3), Lecture Notes in Computer Science, vol. 1667, Springer Verlag (1999) 7\u201323."},{"key":"22_CR5","doi-asserted-by":"crossref","unstructured":"Fota, N., Ka\u00e2niche, M., Kanoun, K., and Peytavin, P., \u201cSafety Analysis and Evaluation of an Air Traffic Control System\u201d, in Proc. 15th Int. Conf. on Computer Safety, Reliability and Security SAFECOMP\u201996, Vienna, Austria, (1996), 219\u2013229.","DOI":"10.1007\/978-1-4471-0937-2_19"},{"issue":"5","key":"22_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., and Peytavin, A., \u201cAvailability of CAUTRA, a Subset of the French Air Traffic Control System\u201d, in IEEE Trans. on Computers, vol. 48, n. 5, May (1999), 528\u2013535.","journal-title":"IEEE Trans. on Computers"},{"key":"22_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"42","DOI":"10.1007\/3-540-48254-7_4","volume-title":"Proc. 3rd European Dependable Computing Conf. (EDCC-3)","author":"M. Rabah","year":"1999","unstructured":"Rabah, M., and Kanoun, K., \u201cDependability Evaluation of a Distributed Shared Memory Multiprocessor System\u201d, in Proc. 3rd European Dependable Computing Conf. (EDCC-3), Lecture Notes in Computer Science, vol. 1667, Springer Verlag (1999) 42\u201359."}],"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-45416-0_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T07:03:37Z","timestamp":1556694217000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45416-0_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540426073","9783540454168"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/3-540-45416-0_22","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}