Presentation

From BWare
Jump to: navigation, search
Line 3: Line 3:
 
coming from the development of industrial applications using the B method
 
coming from the development of industrial applications using the B method
 
and requiring high guarantees of confidence. It therefore addresses Topic 1
 
and requiring high guarantees of confidence. It therefore addresses Topic 1
(<nowiki>``Sécurité des systèmes numériques''</nowiki>) and Topic 2 (``Ingénierie du
+
(``''Sécurité des systèmes numériques''<nowiki>''</nowiki>) and Topic 2 (``''Ingénierie du logiciel et du matériel''<nowiki>''</nowiki>)
logiciel et du matériel'') of the ``Ingénierie Numérique & Sécurité''
+
of the ``''Ingénierie Numérique & Sécurité''<nowiki>''</nowiki>
 
call.
 
call.
  

Revision as of 00:34, 3 October 2012

Personal tools
Namespaces

Variants
Actions
Navigation
Toolbox