Skip to main content
hsdm.dorsal.polymtl.ca

Anonymous menu

  • Log in

Main menu

  • Home
  • Team
  • Project tracks
  • Publications
  • Tools
  • News and Events
  • Contact Us

You are here

Home

News and Events

News

12/07/2017 State machine slicing for optimizing test case generation
12/07/2017 Progresses in Virtual Machine Analysis
12/07/2017 Using UML-RT and Papyrus-RT for the Design, Execution, and Observation of a Rover System
See all news

Events

12/12/2016 - 09:00 to 12/13/2016 - 18:00 Progress Report Meeting - Dec 2016
05/04/2016 - 13:15 Virtual CPU State Detection and Execution Flow Analysis by Host Tracing

View information in report format (members only)

 

Powered by Drupal