首页 /研究 /Runtime Composition of Systems of Interacting Cyber-Physical Components
OTHER

Runtime Composition of Systems of Interacting Cyber-Physical Components

Benjamin Lion, Farhad Arbab, Carolyn Talcott

发表年份
2023
引用次数
5

关键词

Computer scienceCyber-physical systemRewritingSemantics (computer science)Theoretical computer scienceProgramming languageDistributed computingProcess calculusSet (abstract data type)Product (mathematics)

相关论文

查看 OTHER 分类全部论文