0 followers Hieronim Ćwierkacz @HCwierkacz New article: "Statistical Model Checking for Cyber-Physical Systems" http://t.co/A9G03Hm1yH 03 Jun 2014 Reply Repost Favourite