Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

The KORSO case study for software engineering with formal methods

A medical information system
 
: Cornelius, F.; Hussmann, H.; Löwe, M.

Berlin: Leiter der Fachbibliothek Informatik, 1994, 39 Bl. : Ill.
TU Berlin. Forschungsberichte des Fachbereichs Informatik, 94,5
German
Book
Fraunhofer ISST ()

: http://publica.fraunhofer.de/documents/PX-51857.html