Using IoTGolog to formalize IoT scenarios

Shah Rukh Humayoun, Yael Dubinsky, Ragaad AlTarawneh. Using IoTGolog to formalize IoT scenarios. In 2nd IEEE World Forum on Internet of Things, WF-IoT 2015, Milan, Italy, December 14-16, 2015. pages 234-238, IEEE, 2015. [doi]

Authors

Shah Rukh Humayoun

This author has not been identified. Look up 'Shah Rukh Humayoun' in Google

Yael Dubinsky

This author has not been identified. Look up 'Yael Dubinsky' in Google

Ragaad AlTarawneh

This author has not been identified. Look up 'Ragaad AlTarawneh' in Google