مؤتمر
Formal Modelling and Visualization of Elevator System Based on Event-B
| العنوان: | Formal Modelling and Visualization of Elevator System Based on Event-B |
|---|---|
| المؤلفون: | Yao, Ju-Yi, Zou, Sheng-Rong, Geng, Xue |
| المصدر: | 2022 IEEE 2nd International Conference on Computer Systems (ICCS) Computer Systems (ICCS), 2022 IEEE 2nd International Conference on. :123-130 Sep, 2022 |
| Relation: | 2022 IEEE 2nd International Conference on Computer Systems (ICCS) |
| قاعدة البيانات: | IEEE Xplore Digital Library |
| ردمك: | 9781665460101 9781665460095 |
|---|---|
| DOI: | 10.1109/ICCS56273.2022.9988440 |