HomeResearch TopicsApplication DriveProjectsPublicationsPeoplePhD StudiesNewsEvents & CfPInfo & Contacts
CiTechCiWorkCISTER DSSjoin us!Enjoy Porto!
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                       
Login
HomeEvents - Conferences and Workshops        <>

VECoS 22

VECoS 22

16th International Conference on Verification and Evaluation of Computer and Communication Systems
28, Sep, 2022 to 30, Sep, 2022
Tbilisi State University, Tbilisi, Georgia
Homepage: http://vecos-world.org/2022/Outside Link
Deadline: 30, Apr, 2022

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/1953

PreviousNext