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

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

PrefixNamespace IRI
dbpedia-owlhttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n2http://dbpedia.org/resource/PAT_(model_checker)
n6http://www.patroot.com/
rdfshttp://www.w3.org/2000/01/rdf-schema#
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
xsdhhttp://www.w3.org/2001/XMLSchema#
n8http://dbpedia.org/resource/.
dbpediahttp://dbpedia.org/resource/
Subject Item
n2:
rdfs:comment
PAT (Process Analysis Toolkit) is a self-contained framework for composing, simulating and reasoning of concurrent, real-time systems and other possible domains. It comes with user friendly interfaces, featured model editor and animated simulator.
foaf:name
PAT
foaf:homepage
n6:
dbpedia-owl:computingPlatform
n8:NET_Framework
dbpedia-owl:developer
dbpedia:National_University_of_Singapore
dbpedia-owl:genre
dbpedia:Model_checking
dbpedia-owl:language
dbpedia:English_language dbpedia:Japanese_language dbpedia:German_language dbpedia:Vietnamese_language dbpedia:Simplified_Chinese_characters dbpedia:Traditional_Chinese_characters
dbpedia-owl:latestReleaseVersion
3.5.1
dbpedia-owl:operatingSystem
dbpedia:Microsoft_Windows dbpedia:Unix dbpedia:Linux dbpedia:OS_X