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. Restoring the ecosystem creates wealth. The case of the Northern coast of Tunisia’s deep-water rose shrimp trawl fishery The demersal trawl fishery of the north Tunisian coast primarily targets the deep-water rose shrimp,...
  2. Projecting changes in the distribution and productivity of living marine resources: A critical review of the suite of modeling approaches used in the large European project VECTORS We review and compare four broad categories of spatially-explicit modelling approaches currently use...
  3. Improvement of bias detection in Argo float conductivity sensors and its application in the North Atlantic We propose modifications of the OW method (Owens and Wong, 2009) used to estimate the time-varying c...
  4. The risk of chronic kidney disease and mortality are increased after community-acquired acute kidney injury. We investigated whether community-acquired acute kidney injury encountered in a tertiary hospital em...
  5. Multifractal analysis for the occupation measure of stable-like processes In this article, we investigate the local behavior of the occupation measure $\mu $ of a class of re...

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.