Thursday, November 27, 2014

 

 



Soy un nuevo usuario

Olvidé mi contraseña

Entrada usuarios

Lógica Matemáticas Astronomía y Astrofísica Física Química Ciencias de la Vida
Ciencias de la Tierra y Espacio Ciencias Agrarias Ciencias Médicas Ciencias Tecnológicas Antropología Demografía
Ciencias Económicas Geografía Historia Ciencias Jurídicas y Derecho Lingüística Pedagogía
Ciencia Política Psicología Artes y Letras Sociología Ética Filosofía


A Modal Temporal Dynamic Logic: Doing the Deadline

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


  Descargar recurso

Detalles del recurso

Pertenece a: University of Twente Publications  

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.

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 Abstract In this paper we present the fusion of generalized LR parsing and scannerless parsing. This...
  2. Disambiguation Filters for Scannerless Generalized LR Parsers this paper we present the fusion of generalized LR parsing and scannerless parsing. This combination...
  3. 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 ...
  4. Disambiguation Filters for Scannerless Generalized LR Parsers In this paper we present the fusion of generalized LR parsing and scannerless parsing. This combinat...
  5. 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-...

Otros recursos de la misma colección

  1. A priori tests of large eddy simulation of the compressible plane mixing layer Three important aspects for the assessment of the possibilities of Large Eddy Simulation (LES) of co...
  2. Practical methods for dealing with 'not applicable' item responses in the AMC Linear Disability Score project Background: Whenever questionnaires are used to collect data on constructs, such as functional statu...
  3. The Academic Medical Center Linear Disability Score (ALDS) item bank: item response theory analysis in a mixed patient population Background: Currently, there is a lot of interest in the flexible framework offered by item banks fo...
  4. A multi-ASIC real-time implementation of the two dimensional affine transform with a bilinear interpolation scheme Some image processing applications (e.g. computer graphics and robot vision) require the rotation, s...
  5. A linear Kronig-Kramers transform test for immittance data validation A method is described with which immittance data can be tested for Kronig‐Kramers compliance. In con...

Valoración de los usuarios

No hay ninguna valoración para este recurso.Sea el primero en valorar este recurso.
 

Busque un recurso