direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

Formal Requirement Analysis Using Algebraic High-Level Nets and Transformations: a KorSo Case Study improving parts of HDMS-A
Zitatschlüssel PREC93
Autor Padberg, J. and Ribeiro, L. and Ehrig, H. and Cornelius, F.
Jahr 1993
Nummer 93/34
Institution TU Berlin
Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe