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 Several real-world problems call for more parsing power than is offered by the widely used and well-...
  2. A method for building and evaluating formal specifications of object-oriented conceptual models of database systems (MCM ongewijzigde herdruk
  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 this paper we present the fusion of generalized LR parsing and scannerless parsing. This combination...
  5. The ASF+SDF Meta-Environment: a Component-Based Language Development Environment The ASF+SDF Meta-Environment is an interactive development environment for the automatic generation ...

Otros recursos de la misma colección

  1. Förster resonance energy transfer rate in any dielectric nanophotonic medium with weak dispersion Motivated by the ongoing debate about nanophotonic control of Förster resonance energy transfer (FRE...
  2. Energy density distribution of shaped waves inside scattering media mapped onto a complete set of diffusion modes We show that the spatial distribution of the energy density of optimally shaped waves inside a scatt...
  3. Electrochemically induced nanobubbles between graphene and mica We present a new method to create dynamic nanobubbles. The nanobubbles are created between graphene ...
  4. Combustion of pyrolysis oil blends with diesel fuel in a micro gas turbine
  5. Progression of Neuronal Damage in an In Vitro Model of the Ischemic Penumbra Improvement of neuronal recovery in the ischemic penumbra around a brain infarct has a large potenti...

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.