guest ::
Structural Concolic Testing for Sequential Function Chart
; ;
In
14th IFAC Workshop on Discrete Event Systems : WODES 2018 / Edited by Gianmaria De Tommasi
In
IFAC-PapersOnLine 51(7), Seiten/Artikel-Nr.:422-427
2018
Online
DOI: 10.1016/j.ifacol.2018.06.335
Einrichtungen
- Lehrstuhl für Informatik 11 (Software für eingebettete Systeme) (122810)
- Fachgruppe Informatik (120000)
Dokumenttyp
Journal Article/Contribution to a conference proceedings
Format
online
Sprache
English
Anmerkung
Peer reviewed article
Externe Identnummern
WOS Core Collection: WOS:000439161000067
SCOPUS: SCOPUS:2-s2.0-85050136667
OpenAlex: W2883643316
Interne Identnummern
RWTH-CONV-236291
Datensatz-ID: 752265
Beteiligte Länder
Germany
SCOPUS
|
The record appears in these collections: |