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