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

Junaid Iqbal, Dragos Truscan, Jüri Vain, Ivan Porres Paltor

Information Technology

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

1 Sitaatiot (Scopus)

1 Päättynyt

1 tulosta

Suodatin

MegaM@Rt2: MegaModelling at Runtime
Truscan, D., Ahmad, T., Iqbal, J., Porres Paltor, I., Siavashi, F. & Ashraf, A.
European Commission
01/04/17 → 31/03/20
Projekti: EU