High Level Transition Systems of CSP Specifications

And their Application in Automated Testing (Sprache: Englisch)
 
 
Merken
Teilen
Merken
Teilen
 
 
State of the art quality assurance for safety critical software systems requires formal methods for verification and testing. One of the drawbacks using formal methods to model large systems is the state explosion of transition systems generated from formal...
Voraussichtlich lieferbar in 3 Tag(en)

Bestellnummer: 15771454

Buch79.00
Jetzt vorbestellen
  • Kauf auf Rechnung
  • Kostenlose Rücksendung
  • Ratenzahlung möglich
Voraussichtlich lieferbar in 3 Tag(en)

Bestellnummer: 15771454

Buch79.00
Jetzt vorbestellen
State of the art quality assurance for safety critical software systems requires formal methods for verification and testing. One of the drawbacks using formal methods to model large systems is the state explosion of transition systems generated from formal...

Andere Kunden kauften auch

Kommentar zu "High Level Transition Systems of CSP Specifications"

Mehr Bücher von Markus Dahlweid

0 Gebrauchte Artikel zu „High Level Transition Systems of CSP Specifications“

ZustandPreisPortoZahlungVerkäuferRating
  • Kauf auf Rechnung
  • Kostenlose Rücksendung
  • Ratenzahlung möglich