Visible to the public Biblio

Filters: Author is Song, Houbing  [Clear All Filters]
2018-05-17
Song, Houbing, Srinivasan, Ravi, Jeschke, Sabina, Sookoor, Tamim.  2017.  Smart Cities: Foundations, Principles and Applications.
2018-05-16
Jiang, Yu, Liu, Han, Song, Houbing, Kong, Hui, Gu, Ming, Sun, Jiaguang, Sha, Lui.  2016.  Safety-Assured Formal Model-Driven Design of the Multifunction Vehicle Bus Controller. FM 2016: Formal Methods: 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings. :757–763.
2018-05-15
S. Sarkar, Z. Jiang, A. Akintayo, S. Krishnamurthy, A. Tewari.  2017.  Chapter 18 - Probabilistic Graphical Modeling of Distributed Cyber-Physical Systems. Cyber-Physical Systems. :265-285.