Andreea Buga, Sorana Tania Nemes. Adopting Formal Approaches for Monitoring Sensors of Intercloud Systems. In 5th International Conference on Future Internet of Things and Cloud Workshops, FiCloud Workshops 2017, Prague, Czech Republic, August 21-23, 2017. pages 93-100, IEEE, 2017. [doi]
Abstract is missing.