Amine Raji, Philippe Dhaussy. User Context Models - A Framework to Ease Software Formal Verifications. In Joaquim Filipe, José Cordeiro, editors, ICEIS 2010 - Proceedings of the 12th International Conference on Enterprise Information Systems, Volume 3, ISAS, Funchal, Madeira, Portugal, June 8 - 12, 2010. pages 380-383, SciTePress, 2010.
@inproceedings{RajiD10, title = {User Context Models - A Framework to Ease Software Formal Verifications}, author = {Amine Raji and Philippe Dhaussy}, year = {2010}, tags = {context-aware}, researchr = {https://researchr.org/publication/RajiD10}, cites = {0}, citedby = {0}, pages = {380-383}, booktitle = {ICEIS 2010 - Proceedings of the 12th International Conference on Enterprise Information Systems, Volume 3, ISAS, Funchal, Madeira, Portugal, June 8 - 12, 2010}, editor = {Joaquim Filipe and José Cordeiro}, publisher = {SciTePress}, isbn = {978-989-8425-06-5}, }