1
Tools for Design, Implementation and Verification of Emerging Information Technologies [E-Book] : 18th EAI International Conference, TRIDENTCOM 2023, Nanjing, China, November 11-13, 2023, Proceedings /
2
Smart Grid and Internet of Things [E-Book] : 7th EAI International Conference, SGIoT 2023, TaiChung, Taiwan, November 18-19, 2023, Proceedings /
3
Formal Methods [E-Book] : 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings /
4
Model-Driven Engineering and Software Development [E-Book] : 9th International Conference, MODELSWARD 2021, Virtual Event, February 8-10, 2021, and 10th International Conference, MODELSWARD 2022, Virtual Event, February 6-8, 2022, Revised Selected Papers /