This book constitutes the proceedings of the 22nd International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2021, which was held virtually during January 17-19, 2021. The conference was planned to take place in Copenhagen, Denmark, but changed …
This book constitutes the proceedings of the 22nd International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2021, which was held virtually during January 17-19, 2021. The conference was planned to take place in Copenhagen, Denmark, but changed …
This book constitutes the refereed proceedings of the Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and the 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, held in Turin, Italy, in September 2017.…
This book constitutes the refereed proceedings of the Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and the 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, held in Turin, Italy, in September 2017.…
This book constitutes the proceedings of the 5th International Symposium on Model-Based Safety and Assessment, IMBSA 2017, held in Trento, Italy, in September 2017. The 17 revised full papers presented were carefully reviewed and selected from 29 initial submissions. The papers …
This book constitutes the proceedings of the 5th International Symposium on Model-Based Safety and Assessment, IMBSA 2017, held in Trento, Italy, in September 2017. The 17 revised full papers presented were carefully reviewed and selected from 29 initial submissions. The papers …
This Handbook presents a complete and rigorous overview of the fundamentals, methods and applications of the multidisciplinary field of Global Navigation Satellite Systems (GNSS), providing an exhaustive, one-stop reference work and a state-of-the-art description of GNSS as a ke…
This book constitutes the refereed proceedings of the 6th International Conference, ICISP 2014, held in June/July 2014 in Cherbourg, France. The 76 revised full papers were carefully reviewed and selected from 164 submissions. The contributions are organized in topical sections …
This book constitutes the proceedings of the 16th International Conference on Web and Internet Economics, WINE 2020, held in Beijing, China, in December 2020. The 31 full papers presented together with 11 abstracts were carefully reviewed and selected from 136 submissions. The i…
This book constitutes the proceedings of the 16th International Conference on Web and Internet Economics, WINE 2020, held in Beijing, China, in December 2020. The 31 full papers presented together with 11 abstracts were carefully reviewed and selected from 136 submissions. The i…
Dieses Open Access Buch umfasst fuÌ#x88;nfzehn BeitraÌ#x88;ge aus sechs Verbundvorhaben, die im Rahmen des FoÌ#x88;rderschwerpunkts "Arbeit in der digitalisierten Welt" des Bundesministeriums fuÌ#x88;r Bildung und Forschung unterschiedliche Entwicklungen im Transformationsprozes…
Dieses Open Access Buch umfasst fünfzehn Beiträge aus sechs Verbundvorhaben, die im Rahmen des Förderschwerpunkts "Arbeit in der digitalisierten Welt" des Bundesministeriums für Bildung und Forschung unterschiedliche Entwicklungen im Transformationsprozess der Arbeitswelt analys…
Dieses Open Access Buch umfasst fünfzehn Beiträge aus sechs Verbundvorhaben, die im Rahmen des Förderschwerpunkts "Arbeit in der digitalisierten Welt" des Bundesministeriums für Bildung und Forschung unterschiedliche Entwicklungen im Transformationsprozess der Arbeitswelt analys…
Dieses Open Access Buch umfasst fünfzehn Beiträge aus sechs Verbundvorhaben, die im Rahmen des Förderschwerpunkts "Arbeit in der digitalisierten Welt" des Bundesministeriums für Bildung und Forschung unterschiedliche Entwicklungen im Transformationsprozess der Arbeitswelt analys…
This book constitutes the proceedings of the 6th International Conference on Technologies and Innovation, CITI 2020, held in Guayaquil, Ecuador, in November-December 2020. The 16 full papers presented in this volume were carefully reviewed and selected from 41 submissions. They …
This book constitutes the proceedings of the 6th International Conference on Technologies and Innovation, CITI 2020, held in Guayaquil, Ecuador, in November-December 2020. The 16 full papers presented in this volume were carefully reviewed and selected from 41 submissions. They …
This book constitutes the proceedings of the 6th International Conference on Technologies and Innovation, CITI 2020, held in Guayaquil, Ecuador, in November-December 2020. The 16 full papers presented in this volume were carefully reviewed and selected from 41 submissions. They …
This book presents the state of the art, challenges and future trends in automotive software engineering. The amount of automotive software has grown from just a few lines of code in the 1970s to millions of lines in today's cars. And this trend seems destined to continue in the…
This clearly-written book presents a guide to navigating the complicated issues of quality and process improvement in enterprise software implementation, and the effect these have on the software development life cycle (SDLC). Offering an integrated approach that includes import…
