Reconstructing Timed Symbolic Traces from rtioco-Based Timed Test Sequences Using Backward-Induction

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

Hakutulokset