This HTML5 document contains 5 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

PrefixNamespace IRI
n5google.
isaphttp://webisa.webdatacommons.org/prov/
isahttp://webisa.webdatacommons.org/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
Subject Item
isa:302679836
rdf:type
prov:Entity
prov:value
This tool is based especially on the language PROMELA (Process Metalanguage) which is a language used to obtained an abstract modelling of asynchronous distributed systems, in the form of non-finite-state automatons and what is called LTL (linear temporal logic) that can be used to model the properties, required or undesired, of the system such as for example the random loss of a multicast IP data
prov:wasQuotedFrom
n5:com
Subject Item
isap:309457380
prov:wasDerivedFrom
isa:302679836
Subject Item
isap:456628922
prov:wasDerivedFrom
isa:302679836