Verification of a Real-Time Safety-Critical Protocol Using a Modelling Language with Formal Data and Behaviour Semantics.

Tams Tth, Andrs Vrs

Browse the full SAFECOMP paper archive.