S-Cube - European Network of Excellence http://www.s-cube-network.eu These are the search results for the query, showing results 1 to 15. Presentation by Liam O'Brien http://www.s-cube-network.eu/pesos_2011_presentations/PESOS-2011-Keynote-Liam.pdf No publisher mcarro 2011-06-08T07:21:18Z File Presentation from Waldemar http://www.s-cube-network.eu/pesos_2011_presentations/Waldemar%20Hummer.pdf No publisher mcarro 2011-05-28T21:08:14Z File Presentation from Sam Guinea http://www.s-cube-network.eu/pesos_2011_presentations/Sam%20Guinea.pptx No publisher mcarro 2011-05-28T21:08:14Z File Presentation by Cobra Rahmani http://www.s-cube-network.eu/pesos_2011_presentations/Rahmani.pptx No publisher mcarro 2011-05-28T21:08:14Z File PESOS 2011 - Summary http://www.s-cube-network.eu/pesos_2011_presentations/PESOS%202011%20-%20summary.pptx No publisher mcarro 2011-05-28T21:08:14Z File PESOS 2011 - general presentation http://www.s-cube-network.eu/pesos_2011_presentations/PESOS%202011%20-%20general%20presentation.pptx No publisher mcarro 2011-05-28T21:08:13Z File Presentation by Marin Litoiu http://www.s-cube-network.eu/pesos_2011_presentations/Marin%20Litoiu.ppt No publisher mcarro 2011-05-28T21:08:13Z File Presentation by Howard Foster http://www.s-cube-network.eu/pesos_2011_presentations/howard_foster-pesos11.pdf No publisher mcarro 2011-05-28T21:08:13Z File Presentation by Elisabetta http://www.s-cube-network.eu/pesos_2011_presentations/DiNitto.pdf No publisher mcarro 2011-05-28T21:08:13Z File Presentation by Andrea Zisman http://www.s-cube-network.eu/pesos_2011_presentations/Andrea%20Zisman.ppt No publisher mcarro 2011-05-28T21:08:13Z File Presentation by Abhik http://www.s-cube-network.eu/pesos_2011_presentations/Abhik.pptx No publisher mcarro 2011-05-28T21:08:13Z File PESOS_2011_Presentations http://www.s-cube-network.eu/pesos_2011_presentations The presentations made during the workshoops. Permission was given by the authors to link them. No publisher mcarro 2011-05-31T11:41:21Z Folder IOPE http://www.s-cube-network.eu/km/terms/i/iope No publisher mcarro KnowledgeModel 2012-04-26T21:26:08Z Page Weakest precondition http://www.s-cube-network.eu/km/terms/w/weakest-precondition No publisher mcarro KnowledgeModel 2012-04-25T13:36:48Z Page Dynamic model http://www.s-cube-network.eu/km/terms/d/dynamic-model No publisher mcarro KnowledgeModel 2012-04-26T15:28:53Z Page