TY  - CHAP
AU  - García Merayo, Mercedes
AU  - Núñez García, Manuel
AU  - Rodríguez Laguna, Ismael
A4  - Arbab, F
A4  - Sirjani, M
PY  - 2007
DO  - 10.1007/978-3-540-75698-9_11
SN  - 978-3-540-75697-2
UR  - https://hdl.handle.net/20.500.14352/53128
AB  - We present a formal framework to specify and test systems presenting both soft and hard deadlines. While hard deadlines must be always met on time, soft deadlines can be sometimes met in a different time, usually higher, from the specified one. It is...
LA  - eng
M2  - 160
PB  - SPRINGER-VERLAG BERLIN
KW  - Probabilistic processes
KW  - Timed systems
KW  - Process algebra
KW  - Automata
KW  - EFSMS
KW  - Computer Science
KW  - Theory & Methods
TI  - Formal testing of systems presenting soft and hard deadlines
TY  - book part
ER  -