Search

Select theme:

Shopping cart

Subtotal
$97.00
View cart Checkout

Saved articles

You have not yet added any article to your bookmarks!

Browse articles
Newsletter image

Subscribe to the Newsletter

Join 10k+ people to get notified about new posts, news and tips.

Do not worry we don't spam!

GDPR Compliance

We use cookies to ensure you get the best experience on our website. By continuing to use our site, you accept our use of cookies, Privacy Policy, and Terms of Service.

  • Home
Verification and Evaluation of Computer and Communication Systems

Verification and Evaluation of Computer and Communication Systems

By Belgacem Ben Hedia, Yassine Maleh & Moez Krichen Computers 18/12/2023

This book constitutes the refereed proceedings of the 16th International Conference on Verification and Evaluation of Computer and Communication Systems, VECoS 2023, held in Marrakech, Morocco, during October 18–20, 2023. The 12 full papers included in this book were carefully reviewed and selected from 36 submissions. The topics presented covered a range of subjects, including approaches to improving the scalability and efficiency of formal verification and their applications to blockchain, smart contracts and neural networks.

Read More
More Books from Belgacem Ben Hedia, Yassine Maleh & Moez Krichen
Verification and Evaluation of Computer and Communication Systems Belgacem Ben Hedia, Yassine Maleh & Moez Krichen
Verification and Evaluation of Computer and Communication Systems
Verification and Evaluation of Computer and Communication Systems Belgacem Ben Hedia, Mohamed Ghazel & Bruno Monsuez
Verification and Evaluation of Computer and Communication Systems
Verification and Evaluation of Computer and Communication Systems Belgacem Ben Hedia, Yu-Fang Chen, Gaiyun Liu & Zhenhua Yu
Verification and Evaluation of Computer and Communication Systems
Comments