Ahmad A. Saifan, Ernesto Posse, Jürgen Dingel. Run-time conformance checking of mobile and distributed systems using executable models. In Ganesh Gopalakrishnan, Eitan Farchi, Eric Mercer, editors, Proceedings of the 7th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD 2009, Chicago, Illinois, USA, July 19-20, 2009. ACM, 2009. [doi]
@inproceedings{SaifanPD09,
title = {Run-time conformance checking of mobile and distributed systems using executable models},
author = {Ahmad A. Saifan and Ernesto Posse and Jürgen Dingel},
year = {2009},
doi = {10.1145/1639622.1639623},
url = {http://doi.acm.org/10.1145/1639622.1639623},
tags = {model checking, meta-model, Meta-Environment, mobile},
researchr = {https://researchr.org/publication/SaifanPD09},
cites = {0},
citedby = {0},
booktitle = {Proceedings of the 7th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD 2009, Chicago, Illinois, USA, July 19-20, 2009},
editor = {Ganesh Gopalakrishnan and Eitan Farchi and Eric Mercer},
publisher = {ACM},
isbn = {978-1-60558-655-7},
}