direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publikationen

1995

Peter Pepper and Mario Südholt (1995). Formulation and development of parallel numerical algorithms with data distribution algebras. Software Engineering im Scientific Computing. Vieweg Verlag, 164–169.




Mohamed Jmaiel (1995). Development of Communication Protocols with Algebraic-Temporal Specifications. Fachgruppe Übersetzerbau, Fachbereich Informatik, Technische Universität Berlin


Peter Pepper and Martin Wirsing (1995). A Method for the Development of Correct Software. KORSO: Methods, Languages, and Tools for the Construction of Correct Software. Springer.


Peter Pepper and Ralph Betschko and Sabine Dick and Klaus Didrich (1995). Realizing Sets by Hash Tables. KORSO: Methods, Languages, and Tools for the Construction of Correct Software. Springer.


Thomas Frauenstein and Wolfgang Grieskamp and Peter Pepper and Mario Südholt (1995). Communicating Functional Agents and their Application to Graphical User Interfaces.


1994

Klaus Didrich and Andreas Fett (1994). Verifying OPAL –- Part I: Verifying in the Small.


Peter Pepper and Martin Wirsing (1994). KORSO: A Methodology for the Development of Correct Software.


Gottfried Egger and Andreas Fett and Peter Pepper (1994). Formal Specification of a Safe PLC Language and its Compiler. SAFECOMP'94, Proceedings of the 13th International Conference on Computer Safety, Reliability and Security Anaheim, Kalifornien, USA, 11–20.


Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe

Leiter

Prof. Dr. Peter Pepper
Sprechstd.: keine mehr

Sekretariat

Christine Beyer
Raum EN 538
Tel: +49 30 314-22280

Öffnungszeiten

mail/tel. vereinbaren

Postadresse

Technische Universität Berlin
Fakultät IV - Elektrotechnik und Informatik - ÜBB
Sekr. EN 13
Raum EN 538
Einsteinufer 17
D-10587 Berlin