An AITO publication
ISSN 1660-1769
DOI 10.5381/jot
Home
Contents
Masthead
Authors
Software
Special Themes
Newsletter
Bibtex
Chaima Boufaied
,
Domenico Bianculli
,
Lionel Briand
, A Model-driven Approach to Trace Checking of Temporal Properties with Aggregations
@article{JOT:issue_2019_02/article15, author = {
Chaima Boufaied
and
Domenico Bianculli
and
Lionel Briand
}, title = {A Model-driven Approach to Trace Checking of Temporal Properties with Aggregations}, journal = {Journal of Object Technology}, volume = {18}, number = {2}, issn = {1660-1769}, year = {2019}, month = jul, editor = {
Benoit Combemale
and
Ali Shaukat
}, note = {The 15th European Conference on Modelling Foundations and Applications}, pages = {15:1-21}, doi = {10.5381/jot.2019.18.2.a15}, url = {http://www.jot.fm/contents/issue_2019_02/article15.html} }
Back
The JOT Journal | ISSN 1660-1769 | DOI 10.5381/jot |
AITO
|
Open Access
|
Contact