An AITO publication
ISSN 1660-1769
DOI 10.5381/jot
Home
Contents
Masthead
Authors
Software
Special Themes
Newsletter
Articles matching “Bianculli”
Chaima Boufaied
,
Domenico Bianculli
,
Lionel Briand
,
A Model-driven Approach to Trace Checking of Temporal Properties with Aggregations
, pp. 15:1-21,
PDF
,
DOI
.
Volume 18, no. 2 (July 2019)
The JOT Journal | ISSN 1660-1769 | DOI 10.5381/jot |
AITO
|
Open Access
|
Contact