VECOS 2019: 13TH INTERNATIONAL CONFERENCE ON VERIFICATION AND EVALUATION OF COMPUTER AND COMMUNICATION SYSTEMS
PROGRAM
AUTHORS
KEYWORDS
main building
Sessions
Session 1
(Oct 09 08:45-09:00)
Opening Session
Session 2
(Oct 09 09:00-10:00)
Invited talk
Session 3
(Oct 09 10:30-12:00)
Modeling and Verification
Disclaimer
|
Powered by EasyChair Smart Program