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 | |