High-Assurance Software Laboratory

Search: ^r

DI/FMHAS Web Changed Changed by
Research 09 Oct 2012 - 14:27 - r16 JorgeSousaPinto
Lemma "Improve Practice Through Theory" Overview Software technology is pre scientific in its lack of an effective basis for predicting computers' behaviour. HASLab ...
ResearchLines 12 May 2011 - 15:31 - r3 PauloSergioAlmeida
Dependable Distributed Systems The goal is to advance the state of the art in dependable distributed data management and dependable distributed systems, in particular ...
ResearchPartners 16 Nov 2009 - 19:18 - NEW JorgeSousaPinto
#ResearchPartnerships Research Partnerships: Universitet (DK) TH (SE) CSK (JP) CWI (NL) IHA (DK) IIST UNU (Macau CN) Sophia Antipolis ...
ResearchSideBar 28 Oct 2009 - 11:55 - NEW JoseBacelarAlmeida
Research Partnerships Industrial Liaisons
Found 4 topics.
This site is powered by the TWiki collaboration platformCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback
Syndicate this site RSSATOM