1) La descarga del recurso depende de la página de origen
2) Para poder descargar el recurso, es necesario ser usuario registrado en Universia


Opción 1: Descargar recurso

Detalles del recurso

Descripción

In this report, an investigation into the aspects of formal system specification that manifest themselves when considering both time and system dynamics is carried out. A logic to express temporal dynamic properties is developed.

Pertenece a

University of Twente Publications  

Autor(es)

Scheerder, J. -  Wieringa, R.J. - 

Id.: 55295373

Versión: 1.0

Estado: Final

Tipo:  application/pdf - 

Tipo de recurso: Report  - 

Tipo de Interactividad: Expositivo

Nivel de Interactividad: muy bajo

Audiencia: Estudiante  -  Profesor  -  Autor  - 

Estructura: Atomic

Coste: no

Copyright: sí

Formatos:  application/pdf - 

Requerimientos técnicos:  Browser: Any - 

Relación: [References] http://doc.utwente.nl/80259/1/a%2Dmodal%2Dtemporal%2Ddynamic.pdf

Fecha de contribución: 28-ago-2012

Contacto:

Localización:

Otros recursos que te pueden interesar

  1. On the existence of free models in fuzzy universal Horn classes This paper is a contribution to the study of the universal Horn fragment of predicate fuzzy logics, ...
  2. The Incipit-CSIC project in Somaliland, 2017 field season Music: Desert City by Kevin MacLeod is licensed under a Creative Commons Attribution licence. (https...
  3. Assessing the origin of unusual organic formations in lava caves from Canary Islands (Spain). Comunicación oral presentada en el EGU General Assembly 2017, 23–28 April 2017, Vienna, Austria.
  4. A dynamic model of potential growth of olive (Olea europaea L.) orchards A model of potential olive oil production is presented, based on a three-dimensional model of canopy...
  5. On the attrition evaluation of oxygen carriers in Chemical Looping Combustion Chemical Looping Combustion (CLC) is one of the most promising processes for the low-cost capture of...

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.