| dbo:abstract
|
- Roméo est un atelier logiciel pour la validation et la vérification (Model-checking) de systèmes temps réel modélisés par des réseaux de Petri temporels, à chronomètres ou paramétriques. Cet outil est développé par l'équipe Systèmes Temps Réel de l'IRCCyN (École centrale de Nantes, université de Nantes, CNRS) à Nantes, France.Roméo fonctionne sur les plates-formes Linux, Mac OS X et Windows. (fr)
- 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 lab (École centrale de Nantes, University of Nantes, CNRS) in Nantes, France. (en)
|
| dbo:developer
| |
| dbo:genre
| |
| dbo:language
| |
| dbo:latestReleaseDate
| |
| dbo:latestReleaseVersion
| |
| dbo:operatingSystem
| |
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 2331 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| dbp:developer
| |
| dbp:genre
| |
| dbp:language
| |
| dbp:latestReleaseDate
| |
| dbp:latestReleaseVersion
| |
| dbp:name
| |
| dbp:operatingSystem
| |
| dbp:programmingLanguage
|
- C++ and GUI in tcl/tk (en)
|
| dbp:website
| |
| dbp:wikiPageUsesTemplate
| |
| dcterms:subject
| |
| gold:hypernym
| |
| rdf:type
| |
| rdfs:comment
|
- Roméo est un atelier logiciel pour la validation et la vérification (Model-checking) de systèmes temps réel modélisés par des réseaux de Petri temporels, à chronomètres ou paramétriques. Cet outil est développé par l'équipe Systèmes Temps Réel de l'IRCCyN (École centrale de Nantes, université de Nantes, CNRS) à Nantes, France.Roméo fonctionne sur les plates-formes Linux, Mac OS X et Windows. (fr)
- 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 lab (École centrale de Nantes, University of Nantes, CNRS) in Nantes, France. (en)
|
| rdfs:label
|
- Romeo (logiciel) (fr)
- Romeo Model Checker (en)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:homepage
| |
| foaf:isPrimaryTopicOf
| |
| foaf:name
| |
| is dbo:wikiPageWikiLink
of | |
| is foaf:primaryTopic
of | |
