Eigenschaftsorientierte Beschreibung Der Logischen Architektur Eingebetteter Systeme

Front Cover
Vieweg+Teubner Verlag, Sep 24, 2010 - Computers - 431 pages
0 Reviews
David Trachtenherz entwickelt einen Lösungsansatz zur eigenschaftsorientierten Beschreibung der logischen Architektur eingebetteter Systeme, der eine präzise deklarative Spezifikation funktionaler Eigenschaften mit wählbarem Grad der Abstraktion für unterschiedliche Entwicklungsphasen und -ebenen ermöglicht.

What people are saying - Write a review

We haven't found any reviews in the usual places.

Other editions - View all

About the author (2010)

Dr. David Trachtenherz promovierte bei Prof. Dr. Dr. h. c. Manfred Broy am Institut für Informatik der Technischen Universität München.

Bibliographic information