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

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

Bestellnummer: 15771454

Buch81.30
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

Basiswissen Requirements Engineering

Klaus Pohl, Chris Rupp

0 Sterne
Buch

30.80

In den Warenkorb
lieferbar

Das Praxisbuch zu QuarkXPress für Windows und Mac

Nikolaus Netzer, Detlev Hagemann

0 Sterne
Buch

Statt 42.00

8.50 *

In den Warenkorb
Erschienen am 30.09.2017
lieferbar

Metasploit

David Kennedy, Jim O'Gorman, Devon Kearns, Mati Ahoroni

0 Sterne
Buch

50.90

In den Warenkorb
lieferbar

Smart Contracts als Webservice

Florian Heder

0 Sterne
Buch

41.10

In den Warenkorb
lieferbar
Buch

56.50

In den Warenkorb
lieferbar

Deep Learning kompakt für Dummies

John Paul Mueller, Luca Massaron

0 Sterne
Buch

25.70

In den Warenkorb
Erschienen am 08.04.2020
lieferbar

Flexibler Rahmen

Pinaki Mitra, Behrouz Zolfaghari

0 Sterne
Buch

41.10

In den Warenkorb
lieferbar
Buch

63.70

In den Warenkorb
lieferbar
Buch

38.97

In den Warenkorb
Erscheint am 09.06.2020
lieferbar
Buch

61.67

In den Warenkorb
Erschienen am 28.11.2019
lieferbar
Buch

39.06

In den Warenkorb
Erschienen am 24.05.2020
lieferbar
Buch

51.39

In den Warenkorb
Erschienen am 14.01.2020
lieferbar
Buch

20.55

In den Warenkorb
Erschienen am 02.01.2020
lieferbar

Deep Learning für die Biowissenschaften

Bharath Ramsundar, Peter Eastman, Patrick Walters, Vijay Pande

0 Sterne
Buch

38.00

In den Warenkorb
Erschienen am 29.02.2020
lieferbar

Langlebige Software-Architekturen

Carola Lilienthal

0 Sterne
Buch

35.90

In den Warenkorb
lieferbar
Buch

25.70

In den Warenkorb
lieferbar

React

Oliver Zeigermann, Nils Hartmann

0 Sterne
Buch

35.90

In den Warenkorb
lieferbar

Krypto-Mining für Dummies

Peter Kent, Matt Millen

0 Sterne
Buch

27.80

In den Warenkorb
Erschienen am 08.04.2020
lieferbar
Mehr Bücher von Markus Dahlweid

Im Wettlauf mit der Zeit

Uwe Schulze

0 Sterne
Buch

11.40

In den Warenkorb
Erschienen am 17.01.2008
lieferbar
  • Kauf auf Rechnung
  • Kostenlose Rücksendung
  • Ratenzahlung möglich