software . 2019

BigraphTalk

Archibald, Blair; Sevegnani, Michele;
Open Access
  • Published: 15 May 2019
  • Publisher: Zenodo
Abstract
<p>BigraphTalk is a formal verification tool, based on Bigraphs, for IoTtalk</p>
Subjects
free text keywords: Molecular Biology, Sociology, Cancer, 69999 Biological Sciences not elsewhere classified, 39999 Chemical Sciences not elsewhere classified, 80699 Information Systems not elsewhere classified, verification tool, IoTtalk, BigraphTalk BigraphTalk
Download fromView all 3 versions
Zenodo
Software . 2019
Provider: Datacite
figshare
Software . 2019
Provider: figshare
Zenodo
Software . 2019
Provider: Zenodo
Powered by OpenAIRE Open Research Graph
Any information missing or wrong?Report an Issue
software . 2019

BigraphTalk

Archibald, Blair; Sevegnani, Michele;