Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.
2012Development of a thermogravimetric analysis (TGA) method for quantitative analysis of wood flour and polypropylene in wood plastic composites (WPC)
Jeske, H.; Schirp, A.; Cornelius, F.
Journal Article
2011Quantifizierung des Massenanteils von Polypropylen-(PP)-Copolymer in WPC (Wood Plastic Composites) mittels DSC (Dynamic Scanning Calorimetry)
Jeske, H.; Schirp, A.; Cornelius, F.
Journal Article
2009Synthese von Modellsystemen und deren Einfluss auf die Biomineralisation von Siliciumdioxid
Cornelius, F.
Dissertation
1996InterACT. An interactive theorem and completeness prover for algebraic specifications with conditional equations
Klar, M.; Geisler, R.; Cornelius, F.
Conference Paper
1996InterACT. An interactive theorem and completeness prover for algebraic specifications with conditional equations
Klar, M.; Geisler, R.; Cornelius, F.
Conference Paper
1995The KORSO Case Study for software engineering with formal methods: A medical information system
Löwe, M.; Cornelius, F.; Hußmann, H.
Book Article
1994The KORSO case study for software engineering with formal methods
Cornelius, F.; Hussmann, H.; Löwe, M.
Book
1993Ein Fallbeispiel für KorSo. Ist-Analyse für HDMS-A
Cornelius, F.; Klar, M.; Löwe, M.
Book
1992Ein Fallbeispiel für KORSO. Das heterogene verteilte Managementsystem HDMS der Projektgruppe Medizin Informatik (PMI) am Deutschen Herzzentrum Berlin und an der TU Berlin
Cornelius, F.; Klar, M.; Löwe, M.
Book