VDM Chukwuogo Bosah: Improving Scalability of Model Checking Sof
VDM

VDM Chukwuogo Bosah: Improving Scalability of Model Checking Sof

This thesis presents a methodology that shows how abstraction can be considered during model transformation to reduce the resulting Color Petri Net (CPN) state space while preserving the expected behavior of the software. Detailed descriptions of the transformation process from UML model to CPN model for software architectures of application systems are presented as well as two case studies - Automated Teller Machine (ATM) system and Elevator system. The state spaces generated during analysis of each case study are presented, and the practical feasibility of this methodology is described using results of each case study.

Bester Preis
CHF 69.90
1 Shop
Heute aktualisiert
Bestes Angebot ansehen
Geprüfte Shops
Echtzeit-Preise
Beste Angebote

Alle Preise vergleichen

Orellfuessli.ch
Bester Preis
CHF 69.90
Angebot ansehen
1 Angebot werden verglichenPreisspanne: CHF 69.90 - CHF 69.90

Warum Preise vergleichen?

Geld sparen

Den günstigsten Preis finden und bei jedem Kauf sparen

Schneller Vergleich

Alle Angebote sofort an einem Ort sehen

Vertrauenswürdige Shops

Bei geprüften und zuverlässigen Händlern kaufen

Ähnliche Produkte in Bücher & Zeitschriften

Alle anzeigen

Über diese Seite

VDM Chukwuogo Bosah: Improving Scalability of Model Checking Sof von VDM bei 1 Shop in der Schweiz vergleichen. Preise von CHF 69.90 bis CHF 69.90. in der Kategorie Bücher & Zeitschriften.

Erhältlich bei Orellfuessli.ch. Klicken Sie auf den Shop Ihrer Wahl zum Kauf. Wir aktualisieren die Preise regelmässig für das beste Angebot.

Häufig gestellte Fragen