Scores and rankings reflect aggregated community opinion and are not editorial assessments by Peakd. Entity information (descriptions, images, links, pricing) may be sourced from automated tools or community contributions and is not guaranteed to be accurate or up-to-date. Peakd does not endorse, verify, or guarantee the accuracy of any content. Represent this entity? Claim this page to manage it. · Terms · Removal requests
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 LS2N lab (École centrale de Nantes, University of Nantes, CNRS) in Nantes, France.
Your slider rating is attached automatically. Write about your experience to help others decide.
No reviews yet. Be the first to share your experience.
No pros or cons yet. Suggest an edit to add some.