Personensuche
X
?
Advanced Information Networking and Applications; Advances in Intelligent Systems and Computing ,
2
An Event-B Based Approach for Formal Modelling and Verifica..:
, In:
?
2019 IEEE 18th International Symposium on Network Computing and Applications (NCA) ,
3