Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.
2018Verifikation von Einspeiseprognosen Erneuerbarer Energieträger anhand vertikaler Netzlasten
Mey, B.; Siefert, M.; Dobschinski, J.
Presentation
2012Modellbasierte Erkennung von Fehlverhalten
Paulic, Annette; Pramsohler, Thomas; Kaule, Dirk; Zeller, Marc; Weiß, Gereon
Journal Article
2012Simulation und Validierung eines optimierten Phased-Array-Verfahrens zur Querfehlerprüfung von SAWL-Schweißnähten in ferritischen Rohren
Orth, Thomas; Schmitte, Till; Spies, Martin; Rieder, Hans; Kersting, Thomas
Conference Paper
2011Effiziente Verifikation der Robustheit komplexer integrierter Schaltungen
Morgenstern, H.
: Reichl, H. (Prüfer)
Dissertation
2008Dresdner Arbeitstagung Schaltungs- und Systementwurf, DASS'2008 und Workshop "Entwurf integrierter Schaltungen", WEIS'2008
 
Conference Proceedings
2008Vorgehensmodell zur Verifikation und Validierung für die Simulation in Produktion und Logistik
Rabe, M.; Spieckermann, S.; Wenzel, S.
Conference Paper
2005Systematische Absicherungsmaßnahmen in der SW-Entwicklung
Große-Rhode, M.
Journal Article
2004Verifikation und Validierung
Wenzel, S.
Conference Paper
2003Large signal modeling of AlGaN/GaN HEMTs with Psat > 4 W/mm at 30 GHz suitable for broadband power applications
Raay, F. van; Quay, R.; Kiefer, R.; Schlechtweg, M.; Weimann, G.
Conference Paper
2003Verformungsmessung an Schweißkonstruktionen unter Einsatz des Objektrasterverfahrens
Petz, M.; Tutsch, R.; Brand, M.; Michailov, V.
Conference Paper
2001Ein mobiles System zur Nuklearverifikation vor Ort
Köble, T.; Rosenstock, W.
Abstract
2001Model checking ASM: the MDG approach
Winter, K.
Study
2000Binding telecooperation. A formal model for electronic commerce
Grimm, R.; Ochsenschläger, P.
Report
1998Verifikation nachrichtentechnischer Systeme mit Systemsimulation und HW/SW-Cosimulation
Knöchel, U.; Tannert, U.; Haufe, J.; Schwarz, P.
Conference Paper
1995Compositional verification of cooperating systems using simple homomorphisms
Ochsenschläger, P.
Conference Paper
1991Die Produktnetzmaschine
Ochsenschläger, P.
Journal Article