Verification of Distributed Embedded Real-Time Systems and their Low-Level Implementations Using Timed CSP.

Bjrn Bartels, Sabine Glesner

Browse the full APSEC paper archive.