Property |
Value |
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 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)
|
dbo:license
| |
dbo:wikiPageExternalLink
| |
dbo:wikiPageID
| |
dbo:wikiPageLength
|
- 1737 (xsd:nonNegativeInteger)
|
dbo:wikiPageRevisionID
| |
dbo:wikiPageWikiLink
| |
prop-fr:wikiPageUsesTemplate
| |
dct:subject
| |
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 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)
|
rdfs:label
|
- Romeo (logiciel) (fr)
- Romeo Model Checker (en)
|
owl:sameAs
| |
prov:wasDerivedFrom
| |
foaf:isPrimaryTopicOf
| |
is dbo:wikiPageRedirects
of | |
is dbo:wikiPageWikiLink
of | |
is oa:hasTarget
of | |
is foaf:primaryTopic
of | |