Intro

After starting my graduate studies with Prof Michel, at Polymtl, I came to notice the RV 2015 conference related to Real-Time verification, which tracing is a branch actually. I entered in contact with Prof Ezio B. and he provided the invitation.

Austria

Austria is a great country, it was my first time there and I really loved it. Really really special!

RV conference

The conference was excellent. It gave me many ideas and stuff to look for. I got my contact also, conferences are good in this sense.

After coming back to the lab I created a presentation [1]

REFs

[1] https://1drv.ms/p/s!ArPtYRnM1EFptEANdpwY8ahrd0UH