This HTML5 document contains 10 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/
rdfshttp://www.w3.org/2000/01/rdf-schema#
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n4http://romeo.rts-software.org/
xsdhhttp://www.w3.org/2001/XMLSchema#
dbpediahttp://dbpedia.org/resource/
Subject Item
dbpedia:Romeo_Model_Checker
rdfs:comment
Roméo is an integrated tool environment for modeling, validation and verification of real-time systems modeled as time Petri Nets or stopwatch Petri Nets, extended with parameters.The tool has been developed by the Real-Time Systems group at IRCCyN lab (École centrale de Nantes, University of Nantes, CNRS) in Nantes, France.
foaf:name
ROMEO
foaf:homepage
n4:
dbpedia-owl:developer
dbpedia:Institut_de_Recherche_en_Communications_et_Cybernétique_de_Nantes
dbpedia-owl:genre
dbpedia:Model_checking
dbpedia-owl:language
dbpedia:English_language
dbpedia-owl:latestReleaseVersion
2.9.0
dbpedia-owl:operatingSystem
dbpedia:Linux dbpedia:Microsoft_Windows dbpedia:OS_X