Data & IT
Pocket
Verification and Evaluation of Computer and Communication Systems
Belgacem Ben Hedia • Yassine Maleh • Moez Krichen
929:-
Uppskattad leveranstid 5-10 arbetsdagar
Fri frakt för medlemmar vid köp för minst 249:-
This book constitutes the refereed proceedings of the 16th International Conference on Verification and Evaluation of Computer and Communication Systems, VECoS2023, 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 approachesto improving the scalability and efficiency of formal verification and their applications to blockchain, smart contracts and neural networks.
- Format: Pocket/Paperback
- ISBN: 9783031497360
- Språk: Engelska
- Antal sidor: 179
- Utgivningsdatum: 2023-12-19
- Förlag: Springer International Publishing AG