VECOS 2019: 13TH INTERNATIONAL CONFERENCE ON VERIFICATION AND EVALUATION OF COMPUTER AND COMMUNICATION SYSTEMS
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