Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Romeo_Model_Checker> ?p ?o. }
Showing items 1 to 47 of
47
with 100 items 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_communication_et_cybern%C3%A9tique_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 wikiPageRevisionID "546006504".
- 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 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 subject Category:Model_checkers.
- Romeo_Model_Checker type Abstraction100002137.
- Romeo_Model_Checker type Code106355894.
- Romeo_Model_Checker type CodingSystem106353757.
- Romeo_Model_Checker type Communication100033020.
- Romeo_Model_Checker type Software106566077.
- Romeo_Model_Checker type Writing106359877.
- Romeo_Model_Checker type WrittenCommunication106349220.
- Romeo_Model_Checker type Software.
- Romeo_Model_Checker type Work.
- Romeo_Model_Checker type CreativeWork.
- Romeo_Model_Checker type InformationEntity.
- 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 (logiciel)".
- 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 sameAs Romeo_Model_Checker.
- 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".