M. Fruth

CaVi – Simulation and Model Checking for Wireless Sensor Networks (2009)

A. Boulis, A. Fehnker, M. Fruth, A. Mciver

CaVi provides a uniform interface to state-of-the-art simulation methods and formal verification methods for wireless sensor network. Simulation is suitable to examine the behavior of a wireless...

of (2009)

A. Fehnker, M. Fruth, A. K. Mciver

modelling for simulation and formal analysis

analysis of (2008)

A. Fehnker, M. Fruth, A. K. Mciver

modelling for simulation and formal

Erhöhung der Liefertreue: Werksübergreifende Abwicklung von Kundenaufträgen in der Serien- und Einzelfertigung (2005)

Fruth, M., Uffmann, J.

Steigerung der Wettbewerbsfähigkeit durch klare Definition der Unternehmensstrategie und Top Down Ableitung von Teilzielen sowie deren Leistungskennzahlen (PPM Process Performance Measures) für...

"BMU-Fresnel" - Technische und wirtschaftliche Machbarkeits-Studie zu horizontalen Fresnel-Kollektoren: Abschlussbericht (2004)

Lerchenmüller, H., Mertins, M., Morin, G., Häberle, A., Zahler, C., Ewert, M., ...

Bei der Umorientierung von der fossil-nuklearen hin zur regenerativen Energieversorgung können solarthermische Kraftwerke eine wichtige Rolle einnehmen. Die Technologie greift dabei auf einen über...

Solar Thermal Power Generation (2003)

Bockamp, S., Griestop, T., Ewert, M., Lerchenmüller, H., Häberle, A., Dersch, J., ...

Solar thermal power generation (2003)

Bockamp, S., Griestop, T., Fruth, M., Ewert, M., Lerchenmüller, H., Mertins, M., ...

Solar thermal power generation (2003)

Bockamp, S., Griestop, T., Fruth, M., Ewert, M., Lerchenmüller, H., Mertins, M., ...