Runtime Verification Based on Formal Specifications
Introductory video on “Runtime Verification Based on Formal Specifications” by Giann Nandi from Instituto Superior de Engenharia do Porto, in the scope of the first part of VALU3S 1st training session that took place online on the 25th of March 2021.
On this page of the site you can watch the video online Runtime Verification Based on Formal Specifications with a duration of hours minute second in good quality, which was uploaded by the user VALU3S Project 07 April 2021, share the link with friends and acquaintances, this video has already been watched 392 times on youtube and it was liked by 3 viewers. Enjoy your viewing!
