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

Research output: Chapter in Book/Conference proceedingConference contributionScientificpeer-review

Original languageUndefined/Unknown
Title of host publicationProceedings of the Fifth European Conference on the Engineering of Computer-Based Systems
PublisherACM
Pages
ISBN (Print)978-1-4503-4843-0
DOIs
Publication statusPublished - 2017
MoE publication typeA4 Article in a conference publication
EventEuropean Conference on the Engineering of Computer-Based Systems, ECBS - Fifth European Conference on the Engineering of Computer-Based Systems, ECBS '17
Duration: 31 Aug 20171 Sep 2017

Conference

ConferenceEuropean Conference on the Engineering of Computer-Based Systems, ECBS
Period31/08/1701/09/17

Cite this