Testing Real-time Task Networks with Functional Extensions using Model-checking.

Matthias Bker, Alexander Metzner, Ingo Stierand

Browse the full ETFA paper archive.