Saturday, May 25, 2013

 

 



Soy un nuevo usuario

Olvidé mi contraseña

Entrada usuarios

Universia Biblioteca de Recursos

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. RF spectrum sensing in CMOS exploiting crosscorrelation The introduction of new wireless services, the demand for higher datarates, and higher traffic volum...
  2. Fabrication of plasmonic nanostructures with electron beam induced deposition The work described in this thesis was shaped by the goal---coming up new approaches to fabricate pla...
  3. Improving supply chain management in construction: what can be learned from the aerospace industry? In order to provide for controllable delivery, reliable lead times and efficient customer response, ...
  4. Measuring the added value of IT in construction firms The added value of information technology (IT) varies widely along firms. The objective of this pape...
  5. Information richness in construction projects: a critical social theory Two important factors influencing the communication in construction projects are the interests of th...

Valoración de los usuarios

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

Busque un recurso

Colecciones destacadas

ETD at Indian Institute of Science

Collectanea Mathematica

Revistas Eletrônicas de Ciências da Comunicação - Portal Revcom

Digital Library for Earth System Education (DLESE)

Universitat de Girona

más

Recursos +Solicitados

Introducción a la Teoría General de la Administración

Química Orgánica (200 ejercicios resueltos)

Fundamentos de Economía

Atías-Neghme. Parasitología Clínica

más