Formalised specification of a test tool for safety related communication.

Mathias Mhlhause, Christian Diedrich, Matthias Riedl, Daniel Schmidt

Browse the full ETFA paper archive.