ICTAC
2004
Springer
14 years 5 months ago
2004
Springer
We present a spatial and temporal logic based on Duration Calculus for the specification and verification of mobile real-time systems. We demonstrate the use of the formalism and...
ICTAC
2004
Springer
14 years 5 months ago
2004
Springer
A model-based approach for minimization of test sets for interactive systems is introduced. Test cases are efficiently generated and selected to cover the behavioral model and the ...
ICTAC
2004
Springer
14 years 5 months ago
2004
Springer
ICTAC
2004
Springer
14 years 5 months ago
2004
Springer
ICTAC
2004
Springer
14 years 5 months ago
2004
Springer
onnectivity and Full Abstraction for a Concurrent Calculus of Classes⋆ nded Abstract — Erika ´Abrah´am2 , Marcello M. Bonsangue3 , Frank S. de Boer4 , and Martin Steffen1 1 ...