Eigenschaftsorientierte Beschreibung der logischen Architektur eingebetteter Systeme

Eigenschaftsorientierte Beschreibung der logischen Architektur eingebetteter Systeme

4.11 - 1251 ratings - Source



David Trachtenherz entwickelt einen LApsungsansatz zur eigenschaftsorientierten Beschreibung der logischen Architektur eingebetteter Systeme, der eine prAczise deklarative Spezifikation funktionaler Eigenschaften mit wAchlbarem Grad der Abstraktion fA¼r unterschiedliche Entwicklungsphasen und -ebenen ermApglicht.lemma f-last-message-hold-length: length (xs i a€” agt;j k) = length xs lemma f-last- message-hold-append-mod: length xs ... (ys i a€” a–r f k) lemma f-last-message- hold-nth[rule-format]: Vn. n alt; length xs a€” a–r xs i a€” agt;f k ! n = last-message (xs | (n divanbsp;...


Title:Eigenschaftsorientierte Beschreibung der logischen Architektur eingebetteter Systeme
Author: David Trachtenherz
Publisher:Springer-Verlag - 2010-06-25
ISBN-13:

You must register with us as either a Registered User before you can Download this Book. You'll be greeted by a simple sign-up page.

Once you have finished the sign-up process, you will be redirected to your download Book page.

How it works:
  • 1. Register a free 1 month Trial Account.
  • 2. Download as many books as you like (Personal use)
  • 3. Cancel the membership at any time if not satisfied.


Click button below to register and download Ebook
Privacy Policy | Contact | DMCA