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 |