TY  - CHAP
AU  - García Merayo, María De Las Mercedes
AU  - Núñez García, Manuel
AU  - Rodríguez Laguna, Ismael
A4  - Namjoshi, KS
A4  - Yoneda, T
A4  - Higashino, T
A4  - Okamura, Y
PY  - 2007
DO  - 10.1007/978-3-540-75596-8_35
SN  - 978-3-540-75595-1
UR  - https://hdl.handle.net/20.500.14352/53131
AB  - In this paper we extend HOTL (Hypotheses and ObservationsTesting Logic) to provide a formal framework to test timed systems. The main idea underlying HOTL is to infer whether a set of observations (i.e., results of test applications) allows to claim...
LA  - eng
M2  - 501
PB  - SPRINGER-VERLAG BERLIN
TI  - A brief introduction to THOTL
TY  - book part
ER  -