Publisher
Springer Nature Switzerland
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Symbolic Reasoning for Early Decision-Making in Model-Based Systems Engineering;2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C);2023-10-01
2. A Novel Model Adaption Approach for intelligent Digital Twins of Modular Production Systems;2023 IEEE 28th International Conference on Emerging Technologies and Factory Automation (ETFA);2023-09-12
3. Modelling with AAS and RDF in Industry 4.0;Computers in Industry;2023-06
4. A pattern catalog for augmenting Digital Twin models with behavior;at - Automatisierungstechnik;2023-06-01
5. Twinning-by-Construction: Ensuring Correctness for Self-adaptive Digital Twins;Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles;2022