Static vs. Dynamic validation of BSP conformance
- Stefan Prennschütz-Schützenau
- Nirmal K. Mukhi
- et al.
- 2009
- ICWS 2009
Publications
Date
Featured collections
Popular topics
4 results for N. Sato
Formal requirement enforcement on smart contracts based on linear dynamic logic
- N. Sato
- Takaaki Tateishi
- et al.
- 2018
- iThings/GreenCom/CPSCom/SmartData/Blockchain/CIT 2018
Business process discovery by using process skeletonization
- Michiharu Kudo
- Ai Ishida
- et al.
- 2013
- SITIS 2013
Automatic smart contract generation using controlled natural language and template
- Takaaki Tateishi
- S. Yoshihama
- et al.
- 2019
- IBM J. Res. Dev