Our approach to predicting deployment on the cloud using ABS and formal methods, as developed in the Envisage project, was presented at the kick-off event of the Sirius Center for Research-driven Innovation on Scalable Data Access on May 19, 2016.
Our approach to predicting deployment on the cloud using ABS and formal methods, as developed in the Envisage project, was presented at the kick-off event of the Sirius Center for Research-driven Innovation on Scalable Data Access on May 19, 2016.