245 followers Verification papers @verif_papers Formal Virtual Modelling and Data Verification for Supervision Systems. - Thierry Lecomte http://t.co/ZOzGE3TM6O 28 May 2015 Reply Repost Favourite