VECOS 2019: 13TH INTERNATIONAL CONFERENCE ON VERIFICATION AND EVALUATION OF COMPUTER AND COMMUNICATION SYSTEMS
PROGRAM
AUTHORS
KEYWORDS
Hotel Vincci Porto
Sessions
Session 4
(Oct 09 14:00-15:00)
Invited talk
Session 5
(Oct 09 15:30-16:30)
Security Analysis
Session 6
(Oct 09 16:30-17:30)
Timed systems
Session 7
(Oct 09 17:30-17:45)
Closing Session
Disclaimer
|
Powered by EasyChair Smart Program