Eigenschaftsorientierte Beschreibung der logischen Architektur eingebetteter Systeme (German Edition)
Book Details
Author(s)
David Trachtenherz
Publisher
Vieweg+Teubner Verlag
ISBN / ASIN
3834810290
ISBN-13
9783834810298
Availability
Usually ships in 24 hours
Marketplace
United States 🇺🇸
Ratings & Reviews
No reviews yet — be the first!
No reviews yet.
Description
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.
