Companies Home Search Profile

Verification and Evaluation of Computer and Communication Systems: 15th International Conference, VECoS 2021, Virtual Event, November 22–23, 2021, Revised ... Notes in Computer Science Book 13187)

Verification and Evaluation of Computer and Communication Systems: 15th International Conference, VECoS 2021, Virtual Event, November 22–23, 2021, Revised ... Notes in Computer Science Book 13187)

Download pdf

Verification and Evaluation of Computer and Communication Systems: 15th International Conference, VECoS 2021, Virtual Event, November 22–23, 2021, Revised ... Notes in Computer Science Book 13187)

Verification and Evaluation of Computer and Communication Systems: 15th International Conference, VECoS 2021, Virtual Event, November 22–23, 2021, Revised ... Notes in Computer Science Book 13187)

Category

Computer Network

Network Engineering

Author

Zhiwu Li

Publication

Springer

0 View

This book constitutes the proceedings of the 15th International Conference on Verication and Evaluation of Computer and Communication Systems, VECoS 2021, which took place in November 2021. Due to COVID-19 pandemic the conference was held virtually.
The 5 full papers presented in this volume were carefully reviewed and selected from 12 submissions. The aim of the VECoS conference is to bring together researchers and practitioners in the areas of verication, control, performance, and dependability evaluation in order to discuss state of the art and challenges in modern computer and communication systems in which functional and extra-functional properties are strongly interrelated. Thus, the main motivation for VECoS is to encourage the cross-fertilization between various formal verication and evaluation approaches, methods and techniques, and especially those developed for concurrent and distributed hardware/software systems.

'

Download pdf

ISBN-10

ISBN-13

9783030988494

Publisher

Springer

Price

0

File Type

PDF

Page No.

Zhiwu Li

Discover more of the author’s books, see similar authors, read author blogs and more ...

Similar Books

Passive and Active Measurement: 23rd International Conference, PAM 2022, Virtual Event, March 28–30, 2022, Proceedings (Lecture Notes in Computer Science)

Passive and Active Measurement: 23rd International Conference, PAM 2022, Virtual Event, March 28–30, 2022, Proceedings (Lecture Notes in Computer Science)

Oliver Hohlfeld

Network Security

Network Science: 7th International Winter Conference, NetSci-X 2022, Porto, Portugal, February 8–11, 2022, Proceedings (Lecture Notes in Computer Science Book 13197)

Network Science: 7th International Winter Conference, NetSci-X 2022, Porto, Portugal, February 8–11, 2022, Proceedings (Lecture Notes in Computer Science Book 13197)

Pedro Ribeiro

Network Security

High-Speed Networks: A Tutorial (Practical Networking)

High-Speed Networks: A Tutorial (Practical Networking)

Nasir Ghani

Computer Network

Introduction to Hybrid Intelligent Networks: Modeling, Communication, and Control

Introduction to Hybrid Intelligent Networks: Modeling, Communication, and Control

Zhi-Hong Guan

Artificial Intelligence

Software-Defined Networking for Future Internet Technology: Concepts and Applications

Software-Defined Networking for Future Internet Technology: Concepts and Applications

Bibhudatta Sahoo

Network Security

Optical Switching: Device Technology and Applications in Networks

Optical Switching: Device Technology and Applications in Networks

Dalia Nandi

Computer Network

Autonomous and Connected Vehicles: Network Architectures from Legacy Networks to Automotive Ethernet

Autonomous and Connected Vehicles: Network Architectures from Legacy Networks to Automotive Ethernet

Dominique Paret

Automotive Engineering

Emerging Computing Paradigms: Principles, Advances and Applications

Emerging Computing Paradigms: Principles, Advances and Applications

Ashish Seth

Computer Vision

Fractal Teletraffic Modeling and Delay Bounds in Computer Communications

Fractal Teletraffic Modeling and Delay Bounds in Computer Communications

Ming Li

Wireless Networking

Fundamentals of Optical Networks and Components

Fundamentals of Optical Networks and Components

Partha Pratim Sahu

Computer Network

Signal and Information Processing, Networking and Computers: Proceedings of the 9th International Conference on Signal and Information Processing, Networking ... Notes in Electrical Engineering Book 895)

Signal and Information Processing, Networking and Computers: Proceedings of the 9th International Conference on Signal and Information Processing, Networking ... Notes in Electrical Engineering Book 895)

Songlin Sun

Computer Network

Passive and Active Measurement: 23rd International Conference, PAM 2022, Virtual Event, March 28–30, 2022, Proceedings (Lecture Notes in Computer Science)

Passive and Active Measurement: 23rd International Conference, PAM 2022, Virtual Event, March 28–30, 2022, Proceedings (Lecture Notes in Computer Science)

Oliver Hohlfeld

Network Security

Network Science: 7th International Winter Conference, NetSci-X 2022, Porto, Portugal, February 8–11, 2022, Proceedings (Lecture Notes in Computer Science Book 13197)

Network Science: 7th International Winter Conference, NetSci-X 2022, Porto, Portugal, February 8–11, 2022, Proceedings (Lecture Notes in Computer Science Book 13197)

Pedro Ribeiro

Network Security

Simulation Tools and Techniques: 13th EAI International Conference, SIMUtools 2021, Virtual Event, November 5-6, 2021, Proceedings (Lecture Notes of ... and Telecommunications Engineering)

Simulation Tools and Techniques: 13th EAI International Conference, SIMUtools 2021, Virtual Event, November 5-6, 2021, Proceedings (Lecture Notes of ... and Telecommunications Engineering)

Houbing Song

Network Engineering

High-Speed Networks: A Tutorial (Practical Networking)

High-Speed Networks: A Tutorial (Practical Networking)

Nasir Ghani

Computer Network

Advances in Computing, Informatics, Networking and Cybersecurity: A Book Honoring Professor Mohammad S. Obaidat’s Significant Scientific Contributions (Lecture Notes in Networks and Systems 289)

Advances in Computing, Informatics, Networking and Cybersecurity: A Book Honoring Professor Mohammad S. Obaidat’s Significant Scientific Contributions (Lecture Notes in Networks and Systems 289)

Sudip Misra

Industrial Networks and Intelligent Systems: 7th EAI International Conference, INISCOM 2021, Hanoi, Vietnam, April 22-23, 2021, Proceedings (Lecture Notes ... Telecommunications Engineering Book 379)

Industrial Networks and Intelligent Systems: 7th EAI International Conference, INISCOM 2021, Hanoi, Vietnam, April 22-23, 2021, Proceedings (Lecture Notes ... Telecommunications Engineering Book 379)

Nguyen-Son Vo

Network Engineering

Introduction to Hybrid Intelligent Networks: Modeling, Communication, and Control

Introduction to Hybrid Intelligent Networks: Modeling, Communication, and Control

Zhi-Hong Guan

Artificial Intelligence

Active Directory Administration Cookbook: Proven solutions to everyday identity and authentication challenges for both on-premises and the cloud, 2nd Edition

Active Directory Administration Cookbook: Proven solutions to everyday identity and authentication challenges for both on-premises and the cloud, 2nd Edition

Sander Berkouwer

Mastering Palo Alto Networks: Build, configure, and deploy network solutions for your infrastructure using features of PAN-OS, 2nd Edition

Mastering Palo Alto Networks: Build, configure, and deploy network solutions for your infrastructure using features of PAN-OS, 2nd Edition

Tom Piens

Network Security

Learn Wireshark: A definitive guide to expertly analyzing protocols and troubleshooting networks using Wireshark, 2nd Edition

Learn Wireshark: A definitive guide to expertly analyzing protocols and troubleshooting networks using Wireshark, 2nd Edition

Lisa Bock

Network Protocols for Security Professionals: Probe and identify network-based vulnerabilities and safeguard against network protocol breaches

Network Protocols for Security Professionals: Probe and identify network-based vulnerabilities and safeguard against network protocol breaches

Deepanshu Khanna

Network Engineering

Other Authors' Books

Other Publishing Books

Proceedings of International Conference on Sustainable Expert Systems: ICSES 2020 (Lecture Notes in Networks and Systems Book 176)

Proceedings of International Conference on Sustainable Expert Systems: ICSES 2020 (Lecture Notes in Networks and Systems Book 176)

Subarna Shakya

Coding Interview

Advances in Speech and Music Technology: Proceedings of FRSM 2020 (Advances in Intelligent Systems and Computing Book 1320)

Advances in Speech and Music Technology: Proceedings of FRSM 2020 (Advances in Intelligent Systems and Computing Book 1320)

Anupam Biswas

Emotional Intelligence

Expert Clouds and Applications: Proceedings of ICOECA 2022 (Lecture Notes in Networks and Systems, 444)

Expert Clouds and Applications: Proceedings of ICOECA 2022 (Lecture Notes in Networks and Systems, 444)

I. Jeena Jacob

Plant and Nanoparticles

Plant and Nanoparticles

Jen-Tsung Chen

Computational Intelligence for Water and Environmental Sciences (Studies in Computational Intelligence Book 1043)

Computational Intelligence for Water and Environmental Sciences (Studies in Computational Intelligence Book 1043)

Omid Bozorg-Haddad

Asiatic Water Buffalo: A Sustainable and Healthy Red Meat Source

Asiatic Water Buffalo: A Sustainable and Healthy Red Meat Source

Naveena B. Maheswarappa

Life Coach Training

Vapor Intrusion Simulations and Risk Assessments

Vapor Intrusion Simulations and Risk Assessments

Yijun Yao

Risk Management

Applied Computational Technologies: Proceedings of ICCET 2022 (Smart Innovation, Systems and Technologies Book 303)

Applied Computational Technologies: Proceedings of ICCET 2022 (Smart Innovation, Systems and Technologies Book 303)

Brijesh Iyer

Learning Technologies

Recent Advances in Civil Engineering: Select Proceedings of ERCAM 2021 (Lecture Notes in Civil Engineering Book 265)

Recent Advances in Civil Engineering: Select Proceedings of ERCAM 2021 (Lecture Notes in Civil Engineering Book 265)

G. Raghava

AutoCAD Civil 3D

AI and Blockchain Technology in 6G Wireless Network (Blockchain Technologies)

AI and Blockchain Technology in 6G Wireless Network (Blockchain Technologies)

Malaya Dutta Borah

Learning Technologies

Mathematical Models of Cell-Based Morphogenesis: Passive and Active Remodeling (Theoretical Biology)

Mathematical Models of Cell-Based Morphogenesis: Passive and Active Remodeling (Theoretical Biology)

Hisao Honda

Frontier Technologies in Bovine Reproduction

Frontier Technologies in Bovine Reproduction

A. Kumaresan

Learning Technologies

User Reviews

Log in first to post a comment

Rating

0

0

0

0

0

average 0

Total votes0