共 50 条
- [31] Supporting Railway Innovations with Formal Modelling and Verification FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS (FMICS 2022), 2022, 13487 : 8 - 11
- [32] A MaaS platform architecture supporting data sovereignty in sustainability assessment of manufacturing systems 29TH INTERNATIONAL CONFERENCE ON FLEXIBLE AUTOMATION AND INTELLIGENT MANUFACTURING (FAIM 2019): BEYOND INDUSTRY 4.0: INDUSTRIAL ADVANCES, ENGINEERING EDUCATION AND INTELLIGENT MANUFACTURING, 2019, 38 : 548 - 555