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)
versandkostenfrei

Bestellnummer: 15771454

BuchFr. 118.90
Jetzt vorbestellen
  • Kauf auf Rechnung
  • Kostenlose Rücksendung
Voraussichtlich lieferbar in 3 Tag(en)
versandkostenfrei

Bestellnummer: 15771454

BuchFr. 118.90
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...

Kommentar zu "High Level Transition Systems of CSP Specifications"

Andere Kunden kauften auch

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