Login / Signup
Bao Khang Nguyen
ORCID
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 1
Top Topics
Data Intensive
Social Computing
Big Data
Big Data Analytics
Top Venues
Internet Things
</>
Publications
</>
Dang Van Pham
,
Vinh Cong Phan
,
Bao Khang Nguyen
Formally specifying and coinductive approach to verifying synthesis of stream calculus-based computing big data in livestream.
Internet Things
23 (2023)