Software Open Access
Archibald, Blair;
Sevegnani, Michele
BigraphTalk is a formal verification tool, based on Bigraphs, for IoTtalk
Name | Size | |
---|---|---|
bigraphtalk.tar.gz
md5:329cbe22674285acca5e94324e7dfa71 |
13.3 kB | Download |
All versions | This version | |
---|---|---|
Views | 61 | 24 |
Downloads | 11 | 7 |
Data volume | 344.4 kB | 93.3 kB |
Unique views | 54 | 22 |
Unique downloads | 11 | 7 |