关注
Yassine Hamza
Yassine Hamza
在 tum.de 的电子邮件经过验证
标题
引用次数
引用次数
年份
Neural networks for safety-critical applications—Challenges, experiments and perspectives
CH Cheng, F Diehl, G Hinz, Y Hamza, G Nührenberg, M Rickert, H Ruess, ...
2018 Design, Automation & Test in Europe Conference & Exhibition (DATE …, 2018
432018
Structural Synthesis for GXW Specifications
CH Cheng, Y Hamza, H Ruess
International Conference on Computer Aided Verification, 95-117, 2016
332016
Automated Analysis of Multi-View Software Architectures
CH Cheng, Y Hamza, H Ruess
2017 24th Asia-Pacific Software Engineering Conference (APSEC), 725-730, 2017
12017
系统目前无法执行此操作,请稍后再试。
文章 1–3