- Project:CRUTIAL
3 KB (335 words) - 07:19, 2 August 2014
- Fact Sheet
1 KB (150 words) - 17:55, 14 November 2012
- Quinta debian-xen
2 KB (245 words) - 10:11, 9 August 2013
- Publication:SouzaAndRuf-UBICOMM-2011
2 KB (207 words) - 14:40, 14 January 2013
- Publication:Paulo-verissimo2006intrusion-tolerant-middleware-172
641 B (75 words) - 14:41, 14 January 2013
- Publication:G-biegel2003the-cortex-134
673 B (84 words) - 14:41, 14 January 2013
- Publication:G-blair2003preliminary-specification-135
642 B (75 words) - 14:41, 14 January 2013
- Publication:A-adelsbach2003conceptual-model-130
865 B (126 words) - 12:58, 15 January 2013
- Publication:J-armstrong2002complete-specification-128
759 B (98 words) - 14:41, 14 January 2013
- Publication:C-brudna2002preliminary-definition-136
606 B (70 words) - 14:41, 14 January 2013
- Publication:G-biegel2002preliminary-definition-137
601 B (70 words) - 14:41, 14 January 2013
- Publication:A-adelsbach2001maftia-conceptual-131
800 B (119 words) - 17:59, 14 January 2013
- Publication:C-cachin2000maftia-reference-102
790 B (107 words) - 14:41, 14 January 2013
- Publication:Paulo-verissimo2000the-timely-18
620 B (71 words) - 14:41, 14 January 2013
- Publication:C-silva1998a-fault-tolerant-34
610 B (63 words) - 14:41, 14 January 2013
- Publication:Mario-baptista1991formal-specification-91
460 B (66 words) - 17:12, 14 January 2013
- Navtalks/Archive
21 KB (2,755 words) - 18:46, 3 October 2017
- Publication:ETeixeiraMs07
2 KB (330 words) - 17:51, 2 October 2018
- Joint KARYON/READAPT Workshop
706 B (94 words) - 11:55, 13 November 2014
- INFLICT
6 KB (932 words) - 00:56, 13 December 2015