Safety in Production Cell Components: An Appraoch Combining Formal Real-Time Specifications and Patterns.

Heinrich Rust

Browse the full SAFECOMP paper archive.