Keyword:model abstraction

Publications
The qSafe Project – Developing a Tool for Current Practice in Functional Safety Analysis Florian Grigoleit, Sebastian Holei, Andreas Pleuss, Robert Reiser, Julian Rhein, Peter Struss and Jana von Wedel In:28th International Workshop on Principles of Diagnosis (DX'17)