218 followers
RT @jisa_: Towards a Verification-Driven Iterative Development of Software for Safety-Critical Cyber-Physical Systems https://t.co/m4fzantB…
RT @jisa_: Towards a Verification-Driven Iterative Development of Software for Safety-Critical Cyber-Physical Systems https://t.co/m4fzantB…
Towards a Verification-Driven Iterative Development of Software for Safety-Critical Cyber-Physical Systems https://t.co/m4fzantBj1 #CyberPhysicalSystems #ModelDrivenDevelopment #softwaredevelopment https://t.co/RgEwYgRdzo