02577nam 2200613 a 450 991078988820332120200520144314.01-283-35491-897866133549140-08-096913-5(CKB)2670000000132125(EBL)827639(OCoLC)769343140(SSID)ssj0000630416(PQKBManifestationID)11378524(PQKBTitleCode)TC0000630416(PQKBWorkID)10746131(PQKB)11283365(MiAaPQ)EBC827639(Au-PeEL)EBL827639(CaPaEBR)ebr10518418(CaONFJC)MIL335491(PPN)158613627(EXLCZ)99267000000013212520111221d2012 uy 0engur|n|---|||||txtrdacontentcrdamediacrrdacarrierTransmission and distribution electrical engineering[electronic resource] /C.R. Bayliss and B.J. Hardy4th ed.Oxford Elsevier20121 online resource (1180 pages)Description based upon print version of record.0-08-096912-7 Includes bibliographical references and index.Front Cover; Transmission and Distribution Electrical Engineering; Copyright Page; Contents; About the Authors; List of Contributors; Preface; Foreword; IndexThis market leading classic is a true comprehensive on-the-job reference, covering all aspects of getting electricity from the source to user via the power grid. Electric power transmission and distribution is a huge sector, and engineers require the real world guidance of this book in order to upgrade networks to handle smart and renewable sources of power. This new edition covers renewable and distributed energy developments, international regulatory compliance issues with coverage of IEC standards, and new key conversions to US based standards and terminologies Utilising examplesElectric power transmissionElectric power distributionElectric power transmission.Electric power distribution.621.319621.31912Bayliss C. R786431Hardy B. J1571372MiAaPQMiAaPQMiAaPQBOOK9910789888203321Transmission and distribution electrical engineering3845759UNINA04261nam 22007095 450 991041607930332120251225183437.03-030-58298-110.1007/978-3-030-58298-2(CKB)4100000011401176(MiAaPQ)EBC6321314(DE-He213)978-3-030-58298-2(PPN)250214784(MiAaPQ)EBC6321254(EXLCZ)99410000001140117620200828d2020 u| 0engurcnu||||||||txtrdacontentcrdamediacrrdacarrierFormal Methods for Industrial Critical Systems 25th International Conference, FMICS 2020, Vienna, Austria, September 2–3, 2020, Proceedings /edited by Maurice H. ter Beek, Dejan Ničković1st ed. 2020.Cham :Springer International Publishing :Imprint: Springer,2020.1 online resource (301 pages)Programming and Software Engineering,2945-9168 ;12327Includes index.3-030-58297-3 FMICS 25th Anniversary -- The 2020 Expert Survey on Formal Methods -- Quantitative Analysis and Cyber-Physical Systems -- Verifiable and Scalable Mission-Plan Synthesis for Autonomous Agents -- Skylines for Symbolic Energy Consumption Analysis -- Formally Verified Timing Computation for Non-deterministic Horizontal Turns During Aircraft Collision Avoidance Maneuvers -- An Actor-based Approach for Security Analysis of Cyber-Physical Systems -- Formal Verification of Industrial Systems Scalable Detection of Ampli cation Timing Anomalies for the Superscalar TriCore Architecture -- A Formally Veri ed Plasma Vertical Position Control Algorithm -- The First Twenty-Five Years of Industrial Use of the B-Method -- A Safety Flasher Developed with the CLEARSY Safety Platform -- Temporal Logic and Model checking -- Formal Verification of OIL Component Specifications Using mCRL2 -- Temporal-Logic Query Checking over Finite Data Streams -- Verification of a Failure Management Protocol for Stateful IoT Applications.This book constitutes the proceedings of the 25th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2020, which was held during September 2-3, 2020. The conference was planned to take place in Vienna, Austria. Due to the COVID-19 pandemic it changed to a virtual event. The 11 full papers presented in this volume were carefully reviewed and selected from 26 submissions. The papers are organized in topical sections as follows: Quantitative Analysis and Cyber-Physical Systems, Formal Verification of Industrial Systems, Temporal Logic and Model Checking. The book also contains a lengthy report on a Formal Methods Survey conducted on occasion of the 25th edition of the conference.Programming and Software Engineering,2945-9168 ;12327Compilers (Computer programs)Computer scienceNatural language processing (Computer science)Computers, Special purposeSoftware engineeringCompilers and InterpretersTheory of ComputationNatural Language Processing (NLP)Special Purpose and Application-Based SystemsSoftware EngineeringCompilers (Computer programs)Computer science.Natural language processing (Computer science)Computers, Special purpose.Software engineering.Compilers and Interpreters.Theory of Computation.Natural Language Processing (NLP).Special Purpose and Application-Based Systems.Software Engineering.620.86005.1ter Beek Maurice Hedthttp://id.loc.gov/vocabulary/relators/edtNičković Dejanedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK9910416079303321Formal Methods for Industrial Critical Systems1921860UNINA