Search Results
Search results: 5
-
Formal Methods – The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings (Lecture Notes in Computer Science #11800)
This book constitutes the refereed proceedings of the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in the form of the Third World Congress on Formal Methods, in October 2019. The 44 full papers presented together with 3 invited presentations were carefully reviewed and sele... More
Language: ENGCopyright: 2019 -
Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II (Lecture Notes in Computer Science #12233)
by Antonio Cerone • Riccardo Guidotti • Martin Kutrib • Emil Sekerinski • José N. Oliveira • Brijesh Dongol • Nelma Moreira • Daniel Ratiu • Marie Farrell • Matt Luckcuck • Diego Marmsoler • José Campos • Troy Astarte • Laure Gonnord • Luis Couto • Pedro Monteiro • David DelmasThis book constitutes the refereed proceedings of the workshops which complemented the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in October 2019. This volume presents the papers that have been accepted for the following workshops: Third Workshop on Practical Formal Verifica... More
Language: ENGCopyright: 2020 -
Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I (Lecture Notes in Computer Science #12232)
by Antonio Cerone • Riccardo Guidotti • Martin Kutrib • Emil Sekerinski • José N. Oliveira • Brijesh Dongol • Nelma Moreira • Daniel Ratiu • Marie Farrell • Matt Luckcuck • Diego Marmsoler • José Campos • Troy Astarte • Laure Gonnord • Luis Couto • Pedro Monteiro • David DelmasThis book constitutes the refereed proceedings of the workshops which complemented the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in October 2019. This volume presents the papers that have been accepted for the following workshops: Third Workshop on Practical Formal Verifica... More
Language: ENGCopyright: 2020 -
Urbanization and Climate Co-Benefits: Implementation of win-win interventions in cities (Routledge Advances in Climate Change Research)
Urban areas are increasingly contributing to climate change while also suffering many of its impacts. Moreover, many cities, particularly in developing countries, continue to struggle to provide services, infrastructure and socio-economic opportunities. How do we achieve the global goals on climate ... More
Language: ENGCopyright: 2017 -
Power Quality Measurement and Analysis Using Higher-Order Statistics: Understanding HOS contribution on the Smart(er) grid
by José-María Sierra-Fernández • Manuel-Jesús Espinosa-Gavira • Agustín Agüera-Pérez • José-Carlos Palomares-Salas • Olivia Florencias-Oliveros • Juan-José González-de-la-RosaPOWER QUALITY MEASUREMENT AND ANALYSIS USING HIGHER-ORDER STATISTICS Help protect your network with this important reference work on cyber security Power quality (PQ) in electrotechnical systems refers to a set of characteristics related to the movement of energy and the delivery of voltage to cons... More
Language: ENGCopyright: 2023