Personensuche
X
?
2023 8th International Conference on Computational Intelligence and Applications (ICCIA) ,
6
Conversion of Timing Diagram to Event-B:
, In:
?
2022 IEEE 2nd International Conference on Computer Systems (ICCS) ,
8
Formal Modelling and Visualization of Elevator System Based..:
, In:
?
2022 IEEE 22nd International Conference on Software Quality, Reliability, and Security Companion (QRS-C) ,
10
Systematic Transformation Method from UML to Event-B:
, In:
?
2022 7th International Conference on Computational Intelligence and Applications (ICCIA) ,
12