Development of Automatic Program Verification for Continuous Function Chart based on Model Checking

(Sprache: Englisch)
 
 
Merken
Teilen
Merken
Teilen
 
 
The objective of this work is to develop the methods and a tool of automatic program verification for automation system by using the verification method that is widely used in computer science, i.e. model checking. As model checking is a formal method, it...
lieferbar
versandkostenfrei

Bestellnummer: 65739724

Buch29.00
In den Warenkorb
  • Kauf auf Rechnung
  • Kostenlose Rücksendung
lieferbar
versandkostenfrei

Bestellnummer: 65739724

Buch29.00
In den Warenkorb
The objective of this work is to develop the methods and a tool of automatic program verification for automation system by using the verification method that is widely used in computer science, i.e. model checking. As model checking is a formal method, it...

Kommentar zu "Development of Automatic Program Verification for Continuous Function Chart based on Model Checking"

Andere Kunden kauften auch

0 Gebrauchte Artikel zu „Development of Automatic Program Verification for Continuous Function Chart based on Model Checking“

ZustandPreisPortoZahlungVerkäuferRating
  • Kauf auf Rechnung
  • Kostenlose Rücksendung