TY  - CHAP
AU  - García Merayo, Mercedes
AU  - Núñez García, Manuel
AU  - Rodríguez Laguna, Ismael
PY  - 2008
SN  - 978-3-540-68514-2
UR  - https://hdl.handle.net/20.500.14352/53126
AB  - 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...
LA  - eng
M2  - 86
PB  - SPRINGER-VERLAG BERLIN
KW  - Finite-state machines
KW  - Systems
KW  - Automata
KW  - Hypotheses
KW  - Logic
KW  - Computer Science
KW  - Theory & Methods
TI  - THOTL: A timed extension of HOTL
TY  - book part
ER  -