共 50 条
- [4] Case studies of model checking for embedded system designs [J]. THIRD INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEM DESIGN, PROCEEDINGS, 2003, : 20 - 28
- [5] Mathematical modelling and theoretical research of micropositioning system [J]. 16TH INTERNATIONAL CONFERENCE: MECHATRONIC SYSTEMS AND MATERIALS (MSM 2021), 2022, 1239
- [7] Development of computer program for simulation of an ice bank system operation, Part I: Mathematical modelling [J]. INTERNATIONAL JOURNAL OF REFRIGERATION-REVUE INTERNATIONALE DU FROID, 2009, 32 (06): : 1323 - 1335
- [8] EXPERIMENTAL CHECKING OF MATHEMATICAL MODELS DESCRIBING THE FUNCTIONING ADEQUACY OF BRIDGE SYSTEMS IN AGRICULTURAL TRACK SYSTEM [J]. INMATEH-AGRICULTURAL ENGINEERING, 2020, 62 (03): : 107 - 114