ciprnet.eu
CIPRNet: CIP research project list
https://www.ciprnet.eu/cip-projectlist.html
CIP research project list. CIP research project list. This is a list of See critical infrastructure protection. Click for more information]. Related research projects in which CIPRNet partners are or have been involved. Analysis and Assessment for The European Council Directive 2008/114/EC defines: ‘Critical infrastructure’ (CI) means an asset, system or part thereof located in Member States which is essential for the maintenance of vital societal functions, health, safety, security, economic. Modelling ...
profs.sci.univr.it
Roberto Segala's Homepage
http://profs.sci.univr.it/~segala
Professor of Computer Science. Università di Verona. Strada Le Grazie 15, Ca' Vignal 2. Involvement in Recent and Upcoming Events. 38th International Colloquium on Automata, Languages and Programming (ICALP 2011). Pc member), Zurich, Switzerland, July 4-8 2011. Seventh International Conference on Quantitative Evaluation of SysTems (QEST 2010). Pc co-chair), Williamsburg, Virginia, USA, September 15-18 2010. Invited lecturer), Bertinoro, Italy, June 21-26 2010. Formal Methods for Aerospace. Sixth Internat...
lsts.pt
Projects | LSTS
http://www.lsts.pt/our-work/projects
Skip to main content. BRIDGES (Bringing together Research and Industry for the Development of Glider Environmental Services) is developing two deep glider prototypes for further understanding, improved monitoring, and responsible exploitation of the marine environment while assuring its long-term preservation. These robust, cost-effective, re-locatable, versatile and easily-deployed ocean gliders will support autonomous, long-term in-situ exploration of the deep ocean at large spatio-temporal scales.