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: 16-feb-2018

Contacto:

Localización:
* tel-00011649

Otros recursos del mismo autor(es)

  1. A Model-Driven Method for Fast Building Consistent Web Services in Practice International audience
  2. Une extension probabiliste pour Event-B International audience
  3. An Operator-based Approach to Incremental Development of Conform Protocol State Machines http://drops.dagstuhl.de/opus/volltexte/2006/695/
    ISBN : 978-3-939897-02-6
  4. How to Verify and Exploit a Refinement of Component-based Systems In order to deal with the verification of large systems, compositional approaches postpone in part t...
  5. Component Adaptation: Specification and Verification 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.