受强制性开放获取政策约束的文章 - Matthias Güdemann了解详情
无法在其他位置公开访问的文章：2 篇
Formal modeling and verification of systems with self-x properties
M Güdemann, F Ortmeier, W Reif
Autonomic and Trusted Computing: Third International Conference, ATC 2006 …, 2006
强制性开放获取政策： German Research Foundation
The ForMoSA approach to qualitative and quantitative model-based safety analysis
A Habermaier, M Güdemann, F Ortmeier, W Reif, G Schellhorn
Railway Safety, Reliability, and Security: Technologies and Systems …, 2012
强制性开放获取政策： German Research Foundation
可在其他位置公开访问的文章：5 篇
Efficient verification of multi-property designs (the benefit of wrong assumptions)
E Goldberg, M Güdemann, D Kroening, R Mukherjee
2018 Design, Automation & Test in Europe Conference & Exhibition (DATE), 43-48, 2018
强制性开放获取政策： European Commission
Practical experiences in model-based safety analysis
F Ortmeier, M Lipaczewski, M Güdemann
强制性开放获取政策： German Research Foundation
Efficient optimization of large probabilistic models
S Struck, M Güdemann, F Ortmeier
Journal of Systems and Software 86 (10), 2488-2501, 2013
强制性开放获取政策： German Research Foundation
Multi-objective optimization of formal specifications
S Struck, M Lipaczewski, F Ortmeier, M Güdemann
2012 IEEE 14th International Symposium on High-Assurance Systems Engineering …, 2012
强制性开放获取政策： German Research Foundation
Towards safe and secure organic computing applications
M Güdemann, F Nafz, W Reif, H Seebach
Gesellschaft für Informatik eV, 2006
强制性开放获取政策： German Research Foundation
出版信息和资助信息由计算机程序自动确定