Gast ::
Counterexample-Guided Abstraction Refinement for PLCs
; ;
In
5th International Workshop on Systems Software Verification (SSV 2010), Vancouver, Canada
2010
Online
URL: http://www.embedded.rwth-aachen.de/lib/exe/fetch.php?media=bib:bbk10.pdf
Einrichtungen
- Lehrstuhl für Informatik 11 (Software für eingebettete Systeme) (122810)
- Fachgruppe Informatik (120000)
Externer link: 
Volltext
Dokumenttyp
Contribution to a conference proceedings
Format
online
Sprache
English
Anmerkung
Peer reviewed article
Interne Identnummern
RWTH-CONV-189856
Datensatz-ID: 118656
Beteiligte Länder
Germany
|
The record appears in these collections: |
Volltext