A Model-driven Approach to Trace Checking of Temporal Properties with Aggregations.

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Chaima Boufaied, Domenico Bianculli, Lionel Briand

Journal title: The Journal of Object Technology

Journal number: 18/2

Journal publisher: EtH Zurich

Published year: 2019

Published pages: 15:1

DOI identifier: 10.5381/jot.2019.18.2.a15

ISSN: 1660-1769