Földvári A, Pataricza A. 2025. Model-driven, logic-supported exploratory dependability analysis. VERDI 2025.
Conference: 3rd International Workshop on Verification & Validation of Dependable Cyber-Physical Systems (VERDI 2025), co-located with the 55th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2025), 23. June 2025, Naples, Italy Authors: Földvári A, Pataricza A. Abstract: Analyzing empirical dependability data now exceeds domain experts’ capabilities without adequate…
Anna Marton, Safepay SystemsAugust 5, 2025









Recent Comments