Eigenschaftsorientierte Beschreibung der logischen Architektur eingebetteter Systeme (German Edition)
Book Details
Author(s)David Trachtenherz
PublisherVieweg+Teubner Verlag
ISBN / ASIN3834810290
ISBN-139783834810298
AvailabilityUsually ships in 24 hours
MarketplaceUnited States 🇺🇸
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.
