On specifying and verifying context-aware systems

التفاصيل البيبلوغرافية
العنوان: On specifying and verifying context-aware systems
المؤلفون: Djoudi, Brahim, Bouanaka, Chafia, Zeghib, Nadia
المصدر: 2014 9th International Conference on Software Paradigm Trends (ICSOFT-PT) Software Paradigm Trends (ICSOFT-PT), 2014 9th International Conference on. :181-188 Aug, 2014
Relation: 2014 9th International Conference on Software Paradigm Trends (ICSOFT-PT)
قاعدة البيانات: IEEE Xplore Digital Library