
Publica
Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten. | | |
---|
2012 | Development 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 |
2011 | Quantifizierung des Massenanteils von Polypropylen-(PP)-Copolymer in WPC (Wood Plastic Composites) mittels DSC (Dynamic Scanning Calorimetry) Jeske, H.; Schirp, A.; Cornelius, F. | Journal Article |
2009 | Synthese von Modellsystemen und deren Einfluss auf die Biomineralisation von Siliciumdioxid Cornelius, F. | Dissertation |
1996 | InterACT. An interactive theorem and completeness prover for algebraic specifications with conditional equations Klar, M.; Geisler, R.; Cornelius, F. | Conference Paper |
1996 | InterACT. An interactive theorem and completeness prover for algebraic specifications with conditional equations Klar, M.; Geisler, R.; Cornelius, F. | Conference Paper |
1995 | The KORSO Case Study for software engineering with formal methods: A medical information system Löwe, M.; Cornelius, F.; Hußmann, H. | Book Article |
1994 | The KORSO case study for software engineering with formal methods Cornelius, F.; Hussmann, H.; Löwe, M. | Book |
1993 | Ein Fallbeispiel für KorSo. Ist-Analyse für HDMS-A Cornelius, F.; Klar, M.; Löwe, M. | Book |
1992 | Ein 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 |