|
Título:
|
THOTL: A timed extension of HOTL
|
|
Autores:
|
García Merayo, Mercedes ;
Núñez García, Manuel ;
Rodríguez Laguna, Ismael
|
|
Tipo de documento:
|
texto impreso
|
|
Editorial:
|
SPRINGER-VERLAG BERLIN, 2008
|
|
Dimensiones:
|
application/pdf
|
|
Nota general:
|
info:eu-repo/semantics/restrictedAccess
|
|
Idiomas:
|
|
|
Palabras clave:
|
Estado = Publicado
,
Materia = Ciencias: Matemáticas: Investigación operativa
,
Tipo = Sección de libro
|
|
Resumen:
|
THOTL represents a conservative extension of HOTL (Hypotheses and Observations Testing Logic) to deal with systems where time plays a fundamental role. We adapt some of the HOTL rules to cope with the new framework. In addition, we introduce several specific hypotheses and rules to appropriately express time assumptions. We provide
a correctness result of THOTL with respect to a general notion of timed conformance.
|
|
En línea:
|
https://eprints.ucm.es/id/eprint/15742/1/17.pdf
|
