Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
4 Publications
2022 | Conference Paper | LibreCat-ID: 34532
A. Abate et al., “ARCH-COMP22 Category Report: Stochastic Models,” 2022, doi: 10.29007/lsvc.
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 26973
T. Meyer, J. H. Kessler, W. Sextro, and A. Trächtler, “Increasing Intelligent Systems’ Reliability by using Reconfiguration,” 2013.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26981
C. Sondermann-Wölke, W. Sextro, P. Reinold, and A. Trächtler, “Zuverlässigkeitsorientierte Mehrzieloptimierung zur Aktorrekonfiguration eines X-by-wire-Fahrzeugs,” 2011.
LibreCat
2011 | Dissertation | LibreCat-ID: 26982
R. Krol, Eine Reduktionsmethode zur Ableitung elektromechanischer Ersatzmodelle für piezoelektrische Wandler unter Verwendung der Finite-Elemente- Methode (FEM), vol. Band 293. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Band 293, 2011.
LibreCat