Work Execution Status Management and Verification System based on Blockchain and Various Tokens.

Rui Tanaka Hideaki Miyaji Hiroshi Yamamoto

Published in: ICCE (2024)

Keyphrases

workflow management systems
information systems
management system
decision making
decision support
artificial intelligence
model checking
database
symbolic execution
line segments
high assurance
execution model
current status
network management
information management
business process
search engine
neural network