Federico Mari
@_federico_mari
Associate Professor #uniroma4 #ModelChecking-based algorithms&tools for verification&synthesis of #MissionCritical #SafetyCritical #CyberPhysicalSystems.
ID: 3299154255
http://federicomari.name 26-05-2015 13:07:17
272 Tweet
123 Followers
262 Following