Matches in DBpedia 2016-04 for { ?s ?p "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."@en }
Showing triples 1 to 4 of
4
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.".
- 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.".
- 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.".
- 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.".