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 del mismo autor(es)

  1. Disambiguation Filters for Scannerless Generalized LR Parsers Colloque avec actes et comité de lecture. internationale.
  2. Humoral immune response in post-cardiac injury syndrome KEY WORDS: Post-cardiac injury syndrome, humoral immune response. To better understand the pathogene...
  3. Disambiguation filters for scannerless generalized LR parsers Abstract In this paper we present the fusion of generalized LR parsing and scannerless parsing. This...
  4. Disambiguation Filters for Scannerless Generalized LR Parsers Several real-world problems call for more parsing power than is offered by the widely used and well-...
  5. A method for building and evaluating formal specifications of object-oriented conceptual models of database systems (MCM ongewijzigde herdruk

Otros recursos de la mismacolección

  1. Modeling nonignorable missing data processes in item calibration In this report, it is shown that the problem of nonignorable missing data in the calibration phase f...
  2. Investigating the quality of items in CAT using nonparametric IRT I discuss the applicability of nonparametric item response theory (IRT) models to the quality of ite...
  3. Exploring new methods to detect person misfit in CAT Item scores that do not fit an assumed item response theory model may cause the latent trait value t...
  4. Evaluating equating error in observed-score equating Traditionally, error in equating observed scores on two versions of a test is defined as the differe...
  5. Equating an adaptive test to a linear test Two new methods for the equating of an adaptive test to a linear test are presented. The methods are...

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.