VECoS 2024
17th International Conference on Verification and Evaluation of Computer and Communication SystemsDjerba, Tunisa
Homepage: http://vecos-world.org/2023/
Deadline: 13, May, 2024
The VECoS conference series focuses on the analysis of computer and communication systems, where functional and extra-functional properties are inter-related. VECoS encourages the cross-fertilization between the various formal verification and evaluation approaches, methods and techniques, especially those developed for concurrent and distributed hardware/software systems.
Short link for this page: www.cister-labs.pt/events/2157