TY  - JOUR
AU  - García Merayo, María De Las Mercedes
AU  - Núñez García, Manuel
AU  - Rodríguez Laguna, Ismael
PY  - 2012
DO  - 10.1002/stvr.448
SN  - 0960-0833
UR  - https://hdl.handle.net/20.500.14352/42467
T2  - Software testing verification & reliability
AB  - This paper introduces a formal framework to specify and test systems presenting both soft and hard deadlines. While hard deadlines must always be met on time, soft deadlines can be sometimes met in a different time, usually greater, from the specified...
M2  - 583
PB  - Wiley-Blackwell
KW  - Formal testing techniques
KW  - Timed systems
KW  - Soft and hard deadlines
KW  - Probabilistic processes
KW  - Process algebra
KW  - Automata
KW  - Machines
KW  - Efsms
KW  - Model
TI  - A formal framework to test soft and hard deadlines in timed systems
TY  - journal article
VL  - 22
ER  -