Engineering Smart Contracts with Symboleo: A Progress Report.
Daniel AmyotLuigi LogrippoJohn MylopoulosMarco RoveriAmal Ahmed AndaAlireza ParvizimosaedSofana AlfuhaidSepehr SharifiAidin RastiRegan MelocheDaniel Sousa-DiazPublished in: CASCON (2023)
Keyphrases
- expert systems
- supply chain
- engineering design
- computer science
- software engineering
- artificial intelligence
- engineering problems
- quality function deployment
- genetic algorithm
- ubiquitous environments
- mechanical engineering
- engineering systems
- smart grid
- computer aided design
- design process
- medical images
- hidden markov models
- multi agent
- decision making