direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

A New Integration Paradigm for Formal Specification of Safe Software Systems
Zitatschlüssel EBC+96
Autor Ehrig, H. and Bardohl, R. and Cornelius, F. and Geisler, R. and Große-Rhode and Padberg, J.
Buchtitel Proc. 10th Japan-Germany Forum on Information Technology
Jahr 1996
Organisation Gesellschaft für Mathematik und Datenverarbeitung
Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe