Building Trust in Cyber-Physical Systems: Statistical Model Checking in the Software Life Cycle
Explainable Software for Cyber-Physical Systems
Modeling and Verification in GDPR's Data Protection Impact Assessment
Next Generation Domain Specific Conceptual Modeling: Principles and Methods
OE-Gruppen von STS gewinnen mit schnellem Roboter
Studenten bereiten sich bei STS auf den OE-Wettbewerb vor
Formal Methods Meet <Privacy>
Model-Based Design of Cyber Physical Systems
A Quantitative Metric Temporal Logic for Execution-Time Constrained Verification
Information Governance algorithmischer Entscheidungssysteme
15th International Conference on Quantitative Evaluation of SysTems
16th Annual Conference on Privacy, Security and Trust
Summer School on Types for Programs and Verification
Ferienprogramm für Schüler bei STS
STS präsentiert Flaggenpuzzle