乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T10:48:51Z","timestamp":1725792531724},"publisher-location":"Cham","reference-count":23,"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_6","type":"book-chapter","created":{"date-parts":[[2014,4,23]],"date-time":"2014-04-23T01:53:48Z","timestamp":1398218028000},"page":"77-91","source":"Crossref","is-referenced-by-count":2,"title":["On Proving Recoverability of Smart Electrical Grids"],"prefix":"10.1007","author":[{"given":"Seppo","family":"Horsmanheimo","sequence":"first","affiliation":[]},{"given":"Maryam","family":"Kamali","sequence":"additional","affiliation":[]},{"given":"Mikko","family":"Kolehmainen","sequence":"additional","affiliation":[]},{"given":"Mats","family":"Neovius","sequence":"additional","affiliation":[]},{"given":"Luigia","family":"Petre","sequence":"additional","affiliation":[]},{"given":"Mauno","family":"R\u00f6nkk\u00f6","sequence":"additional","affiliation":[]},{"given":"Petter","family":"Sandvik","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"6_CR1","doi-asserted-by":"crossref","unstructured":"Abrial, J.R.: The B-Book: Assigning Programs to Meanings. Cambridge University Press (1996)","DOI":"10.1017\/CBO9780511624162"},{"key":"6_CR2","doi-asserted-by":"crossref","unstructured":"Abrial, J.R.: Modeling in Event-B: System and Software Engineering. Cambridge University Press (2010)","DOI":"10.1017\/CBO9781139195881"},{"key":"6_CR3","first-page":"26","volume":"13","author":"R. Back","year":"1996","unstructured":"Back, R., Sere, K.: From Modular Systems to Action Systems. Software - Concepts and Tools\u00a013, 26\u201339 (1996)","journal-title":"Software - Concepts and Tools"},{"issue":"3","key":"6_CR4","doi-asserted-by":"publisher","first-page":"324","DOI":"10.1007\/BF01214918","volume":"8","author":"R. Back","year":"1996","unstructured":"Back, R., Sere, K.: Superposition Refinement of Reactive Systems. Formal Asp. Comput.\u00a08(3), 324\u2013346 (1996)","journal-title":"Formal Asp. Comput."},{"key":"6_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/978-3-642-15898-8_3","volume-title":"Formal Methods for Industrial Critical Systems","author":"J.W. Bryans","year":"2010","unstructured":"Bryans, J.W., Wei, W.: Formal Analysis of BPMN Models Using Event-B. In: Kowalewski, S., Roveri, M. (eds.) FMICS 2010. LNCS, vol.\u00a06371, pp. 33\u201349. Springer, Heidelberg (2010)"},{"issue":"10","key":"6_CR6","doi-asserted-by":"publisher","first-page":"4613","DOI":"10.1109\/TIE.2011.2109335","volume":"58","author":"V. Calderaro","year":"2011","unstructured":"Calderaro, V., Hadjicostis, C.N., Piccolo, A., Siano, P.: Failure identification in smart grids based on Petri Net modeling. IEEE Transactions on Industrial Electronics\u00a058(10), 4613\u20134623 (2011)","journal-title":"IEEE Transactions on Industrial Electronics"},{"key":"6_CR7","unstructured":"Clark, A., Pavlovski, C.: Wireless Networks for the Smart Energy Grid: Application Aware Networks. In: Proceedings of the International Multi Conference of Engineers and Computer Scientists, vol.\u00a02 (2010)"},{"key":"6_CR8","doi-asserted-by":"crossref","unstructured":"Craigen, D., Gerhart, S., Ralson, T.: Case Study: Paris Metro Signaling System. In: Proceedings of IEEE Software, pp. 32\u201335. IEEE (1994)","DOI":"10.1109\/MS.1994.1279941"},{"key":"6_CR9","unstructured":"Event-B and the Rodin Platform, \n \n http:\/\/www.event-b.org\/\n \n \n (accessed January 2014)"},{"issue":"4","key":"6_CR10","doi-asserted-by":"publisher","first-page":"944","DOI":"10.1109\/SURV.2011.101911.00087","volume":"14","author":"X. Fang","year":"2012","unstructured":"Fang, X., Misra, S., Xue, G., Yang, D.: Smart grid - the new and improved power grid: A survey. IEEE Communications Surveys and Tutorials\u00a014(4), 944\u2013980 (2012)","journal-title":"IEEE Communications Surveys and Tutorials"},{"issue":"1","key":"6_CR11","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1109\/MPE.2009.934876","volume":"8","author":"H. Farhangi","year":"2010","unstructured":"Farhangi, H.: The path of the smart grid. IEEE Power & Energy Mag.\u00a08(1), 18\u201328 (2010)","journal-title":"IEEE Power & Energy Mag."},{"key":"6_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"328","DOI":"10.1007\/978-3-642-20398-5_24","volume-title":"NASA Formal Methods","author":"A. Salehi Fathabadi","year":"2011","unstructured":"Salehi Fathabadi, A., Rezazadeh, A., Butler, M.: Applying Atomicity and Model Decomposition to a Space Craft System in Event-B. In: Bobaru, M., Havelund, K., Holzmann, G.J., Joshi, R. (eds.) NFM 2011. LNCS, vol.\u00a06617, pp. 328\u2013342. Springer, Heidelberg (2011)"},{"issue":"6","key":"6_CR13","doi-asserted-by":"publisher","first-page":"917","DOI":"10.1109\/JPROC.2011.2124210","volume":"99","author":"H. Gharavi","year":"2011","unstructured":"Gharavi, H., Ghafurian, R.: Smart grid: The electric energy system of the future. Proc. IEEE\u00a099(6), 917\u2013921 (2011)","journal-title":"Proc. IEEE"},{"key":"6_CR14","doi-asserted-by":"crossref","unstructured":"He, M., Zhang, J.: Fault detection and localization in smart grid: A probabilistic dependence graph approach. In: IEEE SmartGridComm 2010, pp. 43\u201348 (2010)","DOI":"10.1109\/SMARTGRID.2010.5622016"},{"key":"6_CR15","doi-asserted-by":"crossref","unstructured":"Horsmanheimo, S., Maskey, N., Kokkoniemi-Tarkkanen, H., Savolainen, P., Tuomim\u00e4ki, L.: Evaluation of Interdependencies between Mobile Communication and Electricity Distribution Networks in Fault Scenarios. In: IEEE ISGT Asia 2013 (2013)","DOI":"10.1109\/ISGT-Asia.2013.6698771"},{"key":"6_CR16","doi-asserted-by":"crossref","unstructured":"Horsmanheimo, S., Kamali, M., Kolehmainen, M., Neovius, M., Petre, L., R\u00f6nkk\u00f6, M., Sandvik, P.: On Proving Recoverability of Smart Electrical Grids. Tech. Rep. 1096, TUCS \u2013 Turku Centre for Computer Science (2013)","DOI":"10.1007\/978-3-319-06200-6_6"},{"issue":"1","key":"6_CR17","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1504\/IJCCBS.2013.053742","volume":"4","author":"M. Kamali","year":"2013","unstructured":"Kamali, M., Laibinis, L., Petre, L., Sere, K.: A Distributed Design of a Network Recovery Algorithm. International Journal of Critical Computer-Based Systems\u00a04(1), 45\u201368 (2013)","journal-title":"International Journal of Critical Computer-Based Systems"},{"key":"6_CR18","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1016\/j.scico.2012.03.002","volume":"80","author":"M. Kamali","year":"2014","unstructured":"Kamali, M., Laibinis, L., Petre, L., Sere, K.: Formal development of wireless sensor-actor networks. Science of Computer Programming\u00a080, 25\u201349 (2014)","journal-title":"Science of Computer Programming"},{"key":"6_CR19","doi-asserted-by":"crossref","unstructured":"LaCommare, K., Eto, J.: Cost of power interruptions to electricity consumers in the United States. Tech. rep., Ernest Orlando Lawrence Berkeley National Laboratory, lBNL-58164 (2006)","DOI":"10.1016\/j.energy.2006.02.008"},{"key":"6_CR20","unstructured":"Luan, W., Sharp, D., Lancashire, S.: Smart grid communication network capacity planning for power utilities. In: Proceedings of Transmission and Distribution Conference and Exposition, pp. 1\u20134. IEEE (2010)"},{"issue":"1","key":"6_CR21","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1109\/TSG.2010.2046346","volume":"1","author":"K. Moslehi","year":"2010","unstructured":"Moslehi, K., Kumar, R.: A Reliability Perspective of the Smart Grid. IEEE Transaction on Smart Grid\u00a01(1), 57\u201364 (2010)","journal-title":"IEEE Transaction on Smart Grid"},{"key":"6_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"196","DOI":"10.1007\/978-3-642-30829-1_14","volume-title":"Coordination Models and Languages","author":"L. Petre","year":"2012","unstructured":"Petre, L., Sandvik, P., Sere, K.: Node Coordination in Peer-to-Peer Networks. In: Sirjani, M. (ed.) COORDINATION 2012. LNCS, vol.\u00a07274, pp. 196\u2013211. Springer, Heidelberg (2012)"},{"key":"6_CR23","doi-asserted-by":"crossref","unstructured":"Tate, J., Overbye, T.: Double line outage detection using phasor angle measurements. In: Power & Energy Society General Meeting, PES 2009, pp. 1\u20135. IEEE (2009)","DOI":"10.1109\/PES.2009.5275906"}],"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_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,26]],"date-time":"2019-05-26T13:21:16Z","timestamp":1558876876000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-06200-6_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319061993","9783319062006"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-06200-6_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}