| (84) |
Etats contractants désignés: |
|
AT BE BG CH CY CZ DE DK EE ES FI FR GB GR HR HU IE IS IT LI LT LU LV MC MK MT NL NO
PL PT RO SE SI SK SM TR |
| (30) |
Priorité: |
30.12.2008 FR 0859143
|
| (43) |
Date de publication de la demande: |
|
26.10.2011 Bulletin 2011/43 |
| (73) |
Titulaire: Cassidian Cybersecurity SAS |
|
78990 Elancourt (FR) |
|
| (72) |
Inventeurs: |
|
- MEIER, Guillaume
F-75015 Paris (FR)
- CHALAND, Marc
F-78320 Levis St Nom (FR)
- CLERMONT, Nicolas
F-94800 Villejuif (FR)
- HAUGUET, Francis
F-78180 Montigny le Bretonneux (FR)
|
| (74) |
Mandataire: Camus, Olivier Jean-Claude |
|
Cabinet Camus Lebkiri
25, Rue de Maubeuge 75009 Paris 75009 Paris (FR) |
| (56) |
Documents cités: :
US-A- 5 828 893 US-A1- 2007 110 436
|
US-A1- 2004 205 208
|
|
| |
|
|
- KEVIN ELPHINSTONE: "Future Directions in the Evolution of the L4 Microkernel" PROCEEDINGS
OF THE NICTA WORKSHOP ON OS VERIFICATION 2004, [Online] 2004, pages 1-17, XP002548965
Extrait de l'Internet: URL:http://ertos.nicta.com.au/publications /papers/Elphinstone_04.pdf>
[extrait le 2009-10-01]
|
|