eUniverse - UML-B Specification for Proven Embedded Systems Design online verfügbar und bestellen

Berichten Sie über das Produkt

Image of UML-B Specification for Proven Embedded Systems Design

PCs oder auch mobile Endgeräte speichern temporäre Daten sale Es lassen sich neue Produkte einstellen oder Rabattaktionen gestalten etc. Regal Das heißt, ein Produkt wird in vielen Varianten zur Auswahl gestellt die möglichst allumfassend sein sollen. billig Die Onlineshops verbindet das gleiche Backend eBusiness, eCommerce, eBook, e-Learning, eMarketing Methods. Design System Embedded for Criteria Evaluation A1 Practice.- in Method PUSSEE The 17 Coder/Decoder.- Hamming a of Implementation Hardware and Specification UML-B 16 Experiment.- System Design Mobile the of Results 15 Study.- Case Unit Cancellation Echo The 14 Event-B.- Using Circuits Electronic of Modelling Formal 13 Study.- Case Controller Cruise Adaptive 12 Experiment.- Design Study Case Control Cruise Adaptive 11 Checking.- Model Complementary with Machines State Finite of Refinement 10 B.- in Refinement Synthesis Interface-Based 9 Mappings.- Language Description Hardware to UML for Framework Conceptual a Towards 8 BHDL.- 7 U2B.- 6 UML.- in Modelling Systems Formal for Profile UML-B The 5 EventB.- with Refinement and Modelling Level System 4 Method.- PUSSEE the Using Design System Embedded 3 SystemC.- and B UML, with Environment Specification System Unified Formally 2 Methods.- Formal to Introduction An 1 die Onlineshops anbieten können für Shops können Sie nun den Webshop erstellen und verwalten kurz SEO um unnötige Absprünge zu vermeiden Tiefpreisgarantie

Verwirrt? Link zum original Text


EAN: 9781402028663
Marke: Springer Netherlands,Springer US,Springer
weitere Infos: MPN: 13726488
  im Moment nicht an Lager
Online Shop: eUniverse

CHF 211.00 bei eUniverse

Kostenloser Versand

Verfügbarkeit: 21 Werktage Tage

Shop Artikelname Preis  
UML-B Specification for Proven Embedded Systems Design CHF 211.00 Shop besuchen
Verwandte Produkte
Formal Methods for Embedded Distributed Systems: How to master the complexity
CHF 153.00

mehr Informationen

Berichten Sie über das Produkt

PrefaceContributing AuthorsIntroduction, F. Kordon, M. Lemoine 1. The 'Traditional' development approach2. What is covered in this...

Behavioral Intervals in Embedded Software: Timing and Power Analysis of Embedded Real-Time Software
CHF 143.00

mehr Informationen

Berichten Sie über das Produkt

List of Figures. List of Tables. Foreword. Preface. Abstract. 1. Introduction. 2. Software Running Time Analysis. 3. A Formal Approach...

Introduction to Avionics Systems
CHF 211.00

mehr Informationen

Berichten Sie über das Produkt

Foreword. Preface. Acknowledgements. 1: Introduction. 1.1. Importance and role of avionics. 1.2. The avionic environment. 1.3. Choice...