共 50 条
- [41] Checking SysML Models for Co-simulation FORMAL METHODS AND SOFTWARE ENGINEERING, ICFEM 2016, 2016, 10009 : 450 - 465
- [44] A Tool Integration Language to Formalize Co-simulation Tool-Chains for Cyber-Physical System (CPS) SOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2017, 2018, 10729 : 391 - 405
- [46] Co-simulation of a Reactor Assisted by Microwaves 2018 INTERNATIONAL APPLIED COMPUTATIONAL ELECTROMAGNETICS SOCIETY SYMPOSIUM (ACES), 2018,
- [47] A NEW CO-SIMULATION ARCHITECTURE FOR MIXING DYNAMIC BUILDING SIMULATION AND AGENT ORIENTED APPROACH FOR USERS BEHAVIOUR MODELLING BUILDING SIMULATION 2013: 13TH INTERNATIONAL CONFERENCE OF THE INTERNATIONAL BUILDING PERFORMANCE SIMULATION ASSOCIATION, 2013, : 3225 - 3233
- [50] Behaviour Simulation for Virtual Commissioning using Co-Simulation PROCEEDINGS OF 2015 IEEE 20TH CONFERENCE ON EMERGING TECHNOLOGIES & FACTORY AUTOMATION (ETFA), 2015,