Model Based Specification, Verification, and Test Generation for a Safety Fieldbus Profile.

Jan Krause, Elke Hintze, Stephan Magnus, Christian Diedrich

Browse the full SAFECOMP paper archive.