RESCUE

REliable and Safe Code execUtion for Embedded systems

Overview

Rescue Team

Results

Events


News

Jan.2008 Kick-off meeting (25/01/2008)

50 Recent Changes in TWiki Web retrieved at 16:44 (GMT)

WebHome 16 Jul 2013 - 15:53 - r15 JorgeSousaPinto
REliable and Safe Code execUtion for Embedded systems This project aims at providing innovative, efficient and expressive mechanisms for the secure implementation ...
RescuePublications 26 Jul 2011 - 16:49 - r7 SimaoMeloDeSousa
Books José Carlos Bacelar Almeida, Maria João Frade, Jorge Sousa Pinto, Simão Melo de Sousa. Rigorous Software Development, An Introduction to Program Verification ...
RescueTeam 22 Jul 2011 - 09:26 - r6 SimaoSousa
Universidade da Beira Interior Diogo Filipe Gomes Fialho Joel Silva Carvalho Nuno Miguel Pires Gaspar Simão Patrício Melo de Sousa (PI) Faculdade ...
WebPreferences 21 Jul 2011 - 16:25 - r21 SimaoSousa
Research/Rescue Web Preferences The following settings are web preferences of the Research/Rescue web. These preferences overwrite the site level preferences ...
RescueJobs 15 Oct 2009 - 23:04 - r7 NelmaMoreira?
Currently active RESCUE related research opportunities (at the undergraduate and post graduate levels) are announced here. PhD Opportunities Domain specific ...
RescuePartners 25 Jun 2008 - 18:41 - r4 JoseBacelarAlmeida
FCUP/LIACC (principal contractor) http://www.isep.ipp.pt ISEP/ http://www.hurray.isep.ipp.pt/ http://cctc.uminho.pt http://www.di.ubi.pt ...
RescueDescription 17 Jan 2008 - 21:26 - r3 SimaoMeloDeSousa
#ProjectSummary Project Summary This project aims at providing innovative, efficient and expressive mechanisms for the secure implementation and execution of code ...
RescueKickOff 17 Jan 2008 - 21:11 - r4 SimaoMeloDeSousa
RESCUE kick off meeting (25/01/2008) Where: DI@UBI Covilhã When: Friday, January 25th, 2008 Preliminary Program: 10h45 Opening Session 11h00 ...
WebSideBar 16 Jan 2008 - 01:45 - r3 JoseBacelarAlmeida
Overview Home Project Description Partners Rescue Team Research Team Job Opportunities Intranet Results Publications Tools Events ...
WebCss 16 Jan 2008 - 01:12 - r2 JoseBacelarAlmeida
.natMiddle .natExternalLink:after { margin left:0px; margin right:0px; content:""; } .natRevision { width:0px; height:0px; overflow:hidden; } .natBreadCrumbs ...
RescueNews 16 Jan 2008 - 01:11 - NEW JoseBacelarAlmeida
Jan.2008 Kick off meeting (25/01/2008)
WebStatistics 16 Jan 2008 - 00:55 - r125 JoseBacelarAlmeida
Statistics for Research/Rescue Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic ...
WebTopicList 15 Nov 2006 - 19:43 - r3 TWikiContributor
WebSearchAdvanced 15 Nov 2006 - 19:43 - r3 TWikiContributor
WebTopicCreator 15 Nov 2006 - 19:43 - r2 TWikiContributor
WebIndex 15 Nov 2006 - 19:43 - r4 TWikiContributor
WebSearch 15 Nov 2006 - 19:43 - r3 TWikiContributor
WebChanges 15 Nov 2006 - 19:43 - r3 TWikiContributor
WebAtom 24 Jan 2006 - 06:07 - r2 TWikiContributor
TWiki's Research/Rescue web
WebRss 28 Mar 2005 - 09:40 - r4 TWikiContributor
" else "TWiki's Research/Rescue web"}% /Research/Rescue
WebNotify 28 Mar 2005 - 09:40 - r5 TWikiContributor
TWikiGuest example #64;your.company .WebChangesAlert, ., .TWikiRegistration
WebLeftBar 28 Mar 2005 - 09:40 - r4 TWikiContributor
" warn "off"}%
Found 22 topics.

See also: rss-small RSS feed, recent changes with 50, 100, 200, 500, 1000 topics, all changes

r3 - 15 Nov 2006 - 19:43:52 - TWikiContributor
This site is powered by the TWiki collaboration platform Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.
Syndicate this site RSSATOM