Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Romeo_Model_Checker> ?p ?o }
Showing triples 1 to 74 of
74
with 100 triples per page.
- Romeo_Model_Checker 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.".
- Romeo_Model_Checker developer Institut_de_Recherche_en_Communications_et_Cybernétique_de_Nantes.
- Romeo_Model_Checker genre Model_checking.
- Romeo_Model_Checker language English_language.
- Romeo_Model_Checker latestReleaseVersion "2.9.0".
- Romeo_Model_Checker operatingSystem Linux.
- Romeo_Model_Checker operatingSystem Microsoft_Windows.
- Romeo_Model_Checker operatingSystem OS_X.
- Romeo_Model_Checker wikiPageExternalLink romeo.rts-software.org.
- Romeo_Model_Checker wikiPageExternalLink www.irccyn.ec-nantes.fr.
- Romeo_Model_Checker wikiPageID "29068806".
- Romeo_Model_Checker wikiPageLength "2385".
- Romeo_Model_Checker wikiPageOutDegree "19".
- Romeo_Model_Checker wikiPageRevisionID "546006504".
- Romeo_Model_Checker wikiPageWikiLink C++.
- Romeo_Model_Checker wikiPageWikiLink Category:Model_checkers.
- Romeo_Model_Checker wikiPageWikiLink Centre_national_de_la_recherche_scientifique.
- Romeo_Model_Checker wikiPageWikiLink Computing_platform.
- Romeo_Model_Checker wikiPageWikiLink English_language.
- Romeo_Model_Checker wikiPageWikiLink France.
- Romeo_Model_Checker wikiPageWikiLink French_National_Centre_for_Scientific_Research.
- Romeo_Model_Checker wikiPageWikiLink GUI.
- Romeo_Model_Checker wikiPageWikiLink Graphical_user_interface.
- Romeo_Model_Checker wikiPageWikiLink Institut_de_Recherche_en_Communications_et_Cybernétique_de_Nantes.
- Romeo_Model_Checker wikiPageWikiLink Institut_de_recherche_en_communication_et_cybernétique_de_Nantes.
- Romeo_Model_Checker wikiPageWikiLink Linux.
- Romeo_Model_Checker wikiPageWikiLink Mac_OS_X.
- Romeo_Model_Checker wikiPageWikiLink Microsoft_Windows.
- Romeo_Model_Checker wikiPageWikiLink Model_checking.
- Romeo_Model_Checker wikiPageWikiLink Nantes.
- Romeo_Model_Checker wikiPageWikiLink OS_X.
- Romeo_Model_Checker wikiPageWikiLink Real-time_computing.
- Romeo_Model_Checker wikiPageWikiLink Software_platform.
- Romeo_Model_Checker wikiPageWikiLink Tcl.
- Romeo_Model_Checker wikiPageWikiLink tk.
- Romeo_Model_Checker wikiPageWikiLink University_of_Nantes.
- Romeo_Model_Checker wikiPageWikiLink École_centrale_de_Nantes.
- Romeo_Model_Checker wikiPageWikiLinkText "ROMEO".
- Romeo_Model_Checker wikiPageWikiLinkText "Roméo".
- Romeo_Model_Checker developer Institut_de_Recherche_en_Communications_et_Cybernétique_de_Nantes.
- Romeo_Model_Checker developer Institut_de_recherche_en_communication_et_cybernétique_de_Nantes.
- Romeo_Model_Checker genre Model_checking.
- Romeo_Model_Checker hasPhotoCollection Romeo_Model_Checker.
- Romeo_Model_Checker language English_language.
- Romeo_Model_Checker latestReleaseVersion "2.9".
- Romeo_Model_Checker name "ROMEO".
- Romeo_Model_Checker operatingSystem Linux.
- Romeo_Model_Checker operatingSystem Mac_OS_X.
- Romeo_Model_Checker operatingSystem Microsoft_Windows.
- Romeo_Model_Checker operatingSystem OS_X.
- Romeo_Model_Checker programmingLanguage "C++ and GUI in tcl/tk".
- Romeo_Model_Checker website romeo.rts-software.org.
- Romeo_Model_Checker wikiPageUsesTemplate Template:Formalmethods-stub.
- Romeo_Model_Checker wikiPageUsesTemplate Template:Infobox_software.
- Romeo_Model_Checker subject Category:Model_checkers.
- Romeo_Model_Checker hypernym Environment.
- Romeo_Model_Checker type Software.
- Romeo_Model_Checker type Work.
- Romeo_Model_Checker type Method.
- Romeo_Model_Checker type Tool.
- Romeo_Model_Checker type CreativeWork.
- Romeo_Model_Checker type Thing.
- Romeo_Model_Checker type Q386724.
- Romeo_Model_Checker type Q7397.
- Romeo_Model_Checker 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.".
- Romeo_Model_Checker label "Romeo Model Checker".
- Romeo_Model_Checker sameAs Romeo_(logiciel).
- Romeo_Model_Checker sameAs m.0dlky3d.
- Romeo_Model_Checker sameAs Q3441191.
- Romeo_Model_Checker sameAs Q3441191.
- Romeo_Model_Checker wasDerivedFrom Romeo_Model_Checker?oldid=546006504.
- Romeo_Model_Checker homepage romeo.rts-software.org.
- Romeo_Model_Checker isPrimaryTopicOf Romeo_Model_Checker.
- Romeo_Model_Checker name "ROMEO".