Towards run-time verification for Papyrus-RT

Submitted by Anonymous on Wed, 12/14/2016 - 10:55
Date: 
Monday, December 12, 2016 to Tuesday, December 13, 2016
Event date: 
Monday, December 12, 2016
Authors' names - members: 
Juergen Dingel
Authors' names - collaborators: 
Reza Ahmadi
Upload a presentation: 
PDF icon Run-time verification using Observer events__reza ahmadi.pdf
Event name: 
Progress Report Meeting - December 2016