Електронна книга > Наука > Техника > Электроника, Электротехника, Телекоммуникации > Marco Autili & Alessio Bucaioni: Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops (ePUB)

Marco Autili & Alessio Bucaioni
Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops [EPUB ebook]
CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6-10, 2021, Revised Selected Papers

поддержка

Обложка Marco Autili & Alessio Bucaioni: Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops (ePUB)

This volume constitutes revised selected papers from the four workshops collocated with the 19th International Conference on Software Engineering and Formal Methods, SEFM 2021, held virtually during December 6-10, 2021.The 21 contributed papers presented in this volume were carefully reviewed and selected from a total of 29 submissions. The book also contains 3 invited talks.SEFM 2021 presents the following four workshops:CIFMA 2021 — 3rd International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications;Co Sim-CPS 2021 — 5th Workshop on Formal Co-Simulation of Cyber-Physical Systems;Open CERT 2021 — 10th International Workshop on Open Community approaches to Education, Research and Technology;ASYDE 2021 — 3rd International Workshop on Automated and verifiable Software s Ystem Development.Due to the Corona pandemic this event washeld virtually.

€57.59

Купите эту электронную книгу и получите еще одну БЕСПЛАТНО!

язык английский ● Формат EPUB ● ISBN 9783031124297 ● редактор Marco Autili & Alessio Bucaioni ● издатель Springer International Publishing ● опубликованный 2022 ● Загружаемые 3 раз ● валюта EUR ● Код товара 8679169 ● Защита от копирования Adobe DRM

Требуется устройство для чтения электронных книг с поддержкой DRM

Больше книг от того же автора (ов) / редактор

Marco Autili Alessio Bucaioni Antonio Cerone Claudio Gomes Pierluigi Graziani Maurizio Palmieri Marco Temperini Gentiane Venture

19 094 Электронные книги в этой категории

Обложка Evgeni Perelroyzen: Digital Integrated Circuits

Evgeni Perelroyzen: Digital Integrated Circuits

A current trend in digital design-the integration of the MATLAB® components Simulink® and Stateflow® for model building, simulations, system testing, and fault detection-allows for better control ove …

Обложка Jae Joon Han & Seungju Han: MPEG-V

Jae Joon Han & Seungju Han: MPEG-V

This book is the first to cover the recently developed MPEG-V standard, explaining the fundamentals of each part of the technology and exploring potential applications. Written by experts in the fiel …

Обложка Himansu (Kalinga Institute of Industrial Technology, Odisha, India) Das & Nilanjan (Dept of Information Technology, Techno India College of Technology, India) Dey: Applied Intelligent Decision Making in Machine Learning

Himansu (Kalinga Institute of Industrial Technology, Odisha, India) Das & Nilanjan (Dept of Information Technology, Techno India College of Technology, India) Dey: Applied Intelligent Decision Making in Machine Learning

The objective of this edited book is to share the outcomes from various research domains to develop efficient, adaptive, and intelligent models to handle the challenges related to decision making. It …

Обложка Dave Adamy: Practical Communication Theory

Dave Adamy: Practical Communication Theory

Practical Communication Theory, 2nd Edition enables the reader to quickly and easily generate the answers to real-world problems encountered in specifying, testing, and fielding any type of systems t …

Обложка Denise Brehaut: GMDSS

Denise Brehaut: GMDSS

The Global Maritime Distress and Safety System (GMDSS) — the maritime equivalent to the emergency services number — provides a fast and efficient way of calling for assistance at sea, whatever the si …

Обложка Nicolas (University Pierre & Marie Curie, Paris, France) Sabouret: Understanding Artificial Intelligence

Nicolas (University Pierre & Marie Curie, Paris, France) Sabouret: Understanding Artificial Intelligence

Artificial Intelligence (AI) fascinates, challenges and disturbs us. There are many voices in society that predict drastic changes that may come as a consequence of AI – a possible apocalypse or Eden …

Обложка Baoxin (Arizona State University, Tempe, USA) Li & Ragav (Arizona State University, Tempe, USA) Venkatesan: Convolutional Neural Networks in Visual Computing

Baoxin (Arizona State University, Tempe, USA) Li & Ragav (Arizona State University, Tempe, USA) Venkatesan: Convolutional Neural Networks in Visual Computing

This book covers the fundamentals in designing and deploying techniques using deep architectures. It is intended to serve as a beginner»s guide to engineers or students who want to have a quick star …

Обложка M.V. (Indian Inst. of Tech Roorkee, India) Kartikeyan & Leeladhar (Shri G. S. Inst. of Tech. and Science, Indore, India) Malviya: MIMO Antennas for Wireless Communication

M.V. (Indian Inst. of Tech Roorkee, India) Kartikeyan & Leeladhar (Shri G. S. Inst. of Tech. and Science, Indore, India) Malviya: MIMO Antennas for Wireless Communication

The desired objective of this book is to investigate diversity and mutual coupling effects on MIMO antenna designs for WLAN/Wi MAX/LTE applications, controlled with diversity and ground modification …

Обложка Dongxing (Harbin University of Science and Technology, Harbin, China) Wang: Information Science and Electronic Engineering

Dongxing (Harbin University of Science and Technology, Harbin, China) Wang: Information Science and Electronic Engineering

Information Science and Electronic Engineering is a collection of contributions drawn from the International Conference of Electronic Engineering and Information Science (ICEEIS 2016) held January 4- …

Обложка Mantian Hu & Ye Ouyang: Big Data Applications in the Telecommunications Industry

Mantian Hu & Ye Ouyang: Big Data Applications in the Telecommunications Industry

Следущая страница >>>