Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.
1995Wissensbasierte Produktionsplanung
Schmücker-Schend, A.; Beierle, C.; Geske, U.
Zeitschriftenaufsatz
1991Stepwise software development with algebraic specifications
Beierle, C.; Voß, A.
Zeitschriftenaufsatz
1988Qualitätssicherung durch Programmverifikation und algebraische Methoden der Software-entwicklung
Beierle, C.; Olthoff, W.; Voß, A.
Zeitschriftenaufsatz