Detalles del recurso

Descripción

$l

Pertenece a

Archive EduTice a CCSD electronic archive server based on P.A.O.L  

Autor(es)

Lanoix, Arnaud - 

Id.: 69838188

Idioma: francés  - 

Versión: 1.0

Estado: Final

Palabras clave[INFO.INFO -  SE] Computer Science [cs]/Software Engineering [cs.SE] - 

Tipo de recurso: info:eu-repo/semantics/doctoralThesis  -  Theses  - 

Tipo de Interactividad: Expositivo

Nivel de Interactividad: muy bajo

Audiencia: Estudiante  -  Profesor  -  Autor  - 

Estructura: Atomic

Coste: no

Copyright: sí

Requerimientos técnicos:  Browser: Any - 

Fecha de contribución: 07-may-2017

Contacto:

Localización:
* tel-00011649

Otros recursos del mismo autor(es)

  1. Trustworthy Assembly of Components using the B Refinement
  2. Using Assertions to Enhance the Correctness of Kmelia Components and their Assemblies Proceedings of the 6th International Workshop on Formal Aspects of Component Software (FACS 2009)
  3. About Probabilistic Event-B Event-B is a formal method used for the development of complex systems which gives developers the op...
  4. Using Event-B to Verify the Kmelia Components and Their Assemblies International audience
  5. Contract-based Verification of Kmelia Component Assemblies using Event-B International audience

Otros recursos de la mismacolección

No existen otros recursos

Aviso de cookies: Usamos cookies propias y de terceros para mejorar nuestros servicios, para análisis estadístico y para mostrarle publicidad. Si continua navegando consideramos que acepta su uso en los términos establecidos en la Política de cookies.