Search

Author/Creator Zhu, Huibiao

3. Modeling and verifying NDN‐based IoV using CSP. Issue 10 (21st July 2021)

Authors:
Chen, Ningning; Zhu, Huibiao; Yin, Jiaqi; Fei, Yuan; Xiao, Lili; Zhu, Minghua
Other Names:
Braione Pietro guestEditor.; Briola Daniela guestEditor.; De Angelis Guglielmo guestEditor.; Gallo Francesco guestEditor.; Poggi Francesco guestEditor.; Quattrocchi Giovanni guestEditor.
Journal:
Journal of software
Issue:
Volume 34:Issue 10(2022)
Page Start:
n/a
Record Type:
Journal Article
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

5. Unifying theories of programming : 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised selected papers /: 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised selected papers. (2017)

Editors:
Bowen, J. P (Jonathan Peter), 1956-; Zhu, Huibiao
Other Names:
UTP (Symposium), 6th
Record Type:
Book
Extent:
1 online resource (ix, 217 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗