Matches in DBpedia 2016-04 for { <http://wikidata.dbpedia.org/resource/Q3441191> ?p ?o }
Showing triples 1 to 47 of
47
with 100 triples per page.
- Q3441191 subject Q11705815.
- Q3441191 abstract "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.".
- Q3441191 developer Q3152086.
- Q3441191 genre Q1569697.
- Q3441191 language Q1860.
- Q3441191 latestReleaseVersion "2.9.0".
- Q3441191 operatingSystem Q1406.
- Q3441191 operatingSystem Q14116.
- Q3441191 operatingSystem Q388.
- Q3441191 wikiPageExternalLink romeo.rts-software.org.
- Q3441191 wikiPageExternalLink www.irccyn.ec-nantes.fr.
- Q3441191 wikiPageWikiLink Q11705815.
- Q3441191 wikiPageWikiLink Q12191.
- Q3441191 wikiPageWikiLink Q1406.
- Q3441191 wikiPageWikiLink Q14116.
- Q3441191 wikiPageWikiLink Q142.
- Q3441191 wikiPageWikiLink Q1569697.
- Q3441191 wikiPageWikiLink Q1860.
- Q3441191 wikiPageWikiLink Q2407.
- Q3441191 wikiPageWikiLink Q241317.
- Q3441191 wikiPageWikiLink Q259388.
- Q3441191 wikiPageWikiLink Q273458.
- Q3441191 wikiPageWikiLink Q280413.
- Q3441191 wikiPageWikiLink Q3152086.
- Q3441191 wikiPageWikiLink Q388.
- Q3441191 wikiPageWikiLink Q3988.
- Q3441191 wikiPageWikiLink Q5288.
- Q3441191 wikiPageWikiLink Q782543.
- Q3441191 developer Q3152086.
- Q3441191 genre Q1569697.
- Q3441191 language Q1860.
- Q3441191 latestReleaseVersion "2.9".
- Q3441191 name "ROMEO".
- Q3441191 operatingSystem Q1406.
- Q3441191 operatingSystem Q14116.
- Q3441191 operatingSystem Q388.
- Q3441191 website romeo.rts-software.org.
- Q3441191 type CreativeWork.
- Q3441191 type Software.
- Q3441191 type Work.
- Q3441191 type Thing.
- Q3441191 type Q386724.
- Q3441191 type Q7397.
- Q3441191 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.".
- Q3441191 label "Romeo Model Checker".
- Q3441191 homepage romeo.rts-software.org.
- Q3441191 name "ROMEO".