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

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

Informationsteknologi

Forskningsoutput: Kapitel i bok/konferenshandling › Publicerad konferensartikel › Vetenskaplig › Peer review

1 Citeringar (Scopus)

1 Slutfört

1 resultat

Slutfört

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