Eigenschaftsorientierte Beschreibung der logischen Architektur eingebetteter Systeme
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 ar f k) lemma f-last-message- hold-nth[rule-format]: Vn. n alt; length xs a ar 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 |
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.
