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.html?query=Boufaied">Chaima Boufaied</a> and <a href="/contents.html?query=Bianculli">Domenico Bianculli</a> and <a href="/contents.html?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.html?query=Combemale">Benoit Combemale</a> and <a href="/contents.html?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