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 = {<a href="/contents.php?query=Boufaied">Chaima Boufaied</a> and <a href="/contents.php?query=Bianculli">Domenico Bianculli</a> and <a href="/contents.php?query=Briand">Lionel Briand</a>}, 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 = {<a href="/contents.php?query=Combemale">Benoit Combemale</a> and <a href="/contents.php?query=Shaukat">Ali Shaukat</a>}, 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
