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. Moving from Event-B to probabilistic Event-B We propose a fully probabilistic extension of Event-B where all the non-deterministic choices are re...
  2. Component-based Development using the B method Research report
  3. How to Verify and Exploit a Refinement of Component-based Systems International audience
  4. Enhancing Dependability of Component-based Systems International audience
  5. Trustworthy interface compliancy: data model adaptation using B refinement 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.