Personensuche
X
?
2023 International Conference on Electrical, Computer and Energy Technologies (ICECET) ,
1
Cryptocurrency Payment System Model for B2C E-Commerce Plat..:
, In:
?
2016 IEEE/ACM 4th FME Workshop on Formal Methods in Software Engineering (FormaliSE) ,
9
Undertaking the Tokeneer Challenge in Event-B:
, In:
?
Proceedings of the 4th FME Workshop on Formal Methods in Software Engineering ,
10
Undertaking the tokeneer challenge in event-b:
, In:
?
Proceedings of the Ninth International Conference on Tangible, Embedded, and Embodied Interaction ,
13