Conversion of Timing Diagram to Event-B
| Title: | Conversion of Timing Diagram to Event-B |
|---|---|
| Authors: | Liu, Xiao-Ying, Zou, Sheng-Rong, Geng, Xue, Yao, Ju-Yi |
| Source: | 2023 8th International Conference on Computational Intelligence and Applications (ICCIA) ICCIA Computational Intelligence and Applications (ICCIA), 2023 8th International Conference on. :69-73 Jun, 2023 |
| Relation: | 2023 8th International Conference on Computational Intelligence and Applications (ICCIA) |
| Database: | IEEE Xplore Digital Library |
| ISBN: | 9798350339741 |
|---|---|
| DOI: | 10.1109/ICCIA59741.2023.00021 |
| Published in: | 2023 8th International Conference on Computational Intelligence and Applications (ICCIA), Computational Intelligence and Applications (ICCIA), 2023 8th International Conference on, ICCIA |