Cited By
View all- Tang XZhang MLiu WDu BLiu Z(2023)Towards a model of human-cyber–physical automata and a synthesis framework for control policiesJournal of Systems Architecture: the EUROMICRO Journal10.1016/j.sysarc.2023.102989144:COnline publication date: 1-Nov-2023
- Liu ZTeng JLiu B(2023)Formal Aspects of Component SoftwareFormal Aspects of Component Software10.1007/978-3-031-52183-6_9(168-193)Online publication date: 26-Oct-2023
- Zhang MLiu WTang XDu BLiu Z(2022)Human-Cyber-Physical Automata and Their SynthesisTheoretical Aspects of Computing – ICTAC 202210.1007/978-3-031-17715-6_4(36-41)Online publication date: 27-Sep-2022
- Show More Cited By