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. Introducing Probabilistic Reasoning within Event-B International audience
  2. Moving from Event-B to Probabilistic Event-B International audience
  3. 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)
  4. About Probabilistic Event-B Event-B is a formal method used for the development of complex systems which gives developers the op...
  5. Using Event-B to Verify the Kmelia Components and Their Assemblies International audience

Otros recursos de la mismacolección

  1. On neutrino production of a charmed meson 5 pages, 8 figures, contribution to DIS 2017, XXV International Workshop on Deep-Inelastic Scatterin...
  2. Stress generated by the freeze-thaw process in open cracks of rockwalls: empirical model for tight limestone
  3. Despés de la violencia El libro es el producto de una reflexión inter disciplinaria sobre las diferentes formas de violenci...
  4. De la peinture murale au placage calcaire : données techniques sur les deux phases de décoration du frigidarium sud des thermes de Longeas (Chassenon, Charente) International audience
  5. Introduction. Le site de Chassenon, des premières recherches au présent dossier International audience

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.