Author:
Girault A.,Bilung Lee ,Lee E.A.
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Subject
Electrical and Electronic Engineering,Computer Graphics and Computer-Aided Design,Software
Cited by
125 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. TABS: Transforming automatically BPMN models into blockchain smart contracts;Blockchain: Research and Applications;2023-03
2. The Or-State Hierarchies Extraction in Uml State Machines;2023
3. A survey of main dataflow MoCCs for CPS design and verification;2022 IEEE 15th International Symposium on Embedded Multicore/Many-core Systems-on-Chip (MCSoC);2022-12
4. Finite State Automata for Real-Time Health Electronic Record Update: A survey;2022 IEEE Global Humanitarian Technology Conference (GHTC);2022-09-08
5. Supporting Long-term Transactions in Smart Contracts;2022 Fourth International Conference on Blockchain Computing and Applications (BCCA);2022-09-05