Formally specifying and coinductive approach to verifying synthesis of stream calculus-based computing big data in livestream
| Autor: | Van Pham, Dang, Phan, Vinh Cong, Nguyen, Bao Khang |
|---|---|
| Zdroj: | In Internet of Things October 2023 23 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect