Published December 3, 2019
| Version 1.1
Software
Open
BigraphTalk
Description
BigraphTalk is a formal verification tool, based on Bigraphs, for IoTtalk
Files
Files
(13.3 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:329cbe22674285acca5e94324e7dfa71
|
13.3 kB | Download |