About: Romeo Model Checker

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Romeo Model Checker Goto Sponge NotDistinct Permalink

An Entity of Type : wikidata:Q7397, within Data Space : fr.dbpedia.org associated with source document(s)

Attributes	Values
rdf:type	Thing dbo:Software work schema:CreativeWork wikidata:Q386724 wikidata:Q7397
rdfs:label	Romeo (logiciel) (fr) Romeo Model Checker (en)
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)
sameAs	Romeo Model Checker Romeo Model Checker Romeo Model Checker
Wikipage page ID	5117742 (xsd:integer)
Wikipage revision ID	154575954 (xsd:integer)
dbo:wikiPageWikiLink	category-fr:Méthode_de_développement_logiciel category-fr:Méthode_formelle French National Centre for Scientific Research France Institut de Recherche en Communications et Cybernétique de Nantes Nantes University of Nantes dbpedia-fr:Réseau_de_Petri dbpedia-fr:Système_temps_réel dbpedia-fr:Vérification_de_modèles École centrale de Nantes
Link from a Wikipage to an external page	http://romeo.rts-software.org/ http://www.irccyn.ec-nantes.fr/
page length (characters) of wiki page	1737 (xsd:nonNegativeInteger)
dct:subject	category-fr:Méthode_de_développement_logiciel category-fr:Méthode_formelle
prop-fr:wikiPageUsesTemplate	dbpedia-fr:Modèle:En dbpedia-fr:Modèle:Fr dbpedia-fr:Modèle:Portail dbpedia-fr:Modèle:Ébauche
prov:wasDerivedFrom	wikipedia-fr:Romeo_(logiciel)?oldid=154575954&ns=0
foaf:isPrimaryTopicOf	wikipedia-fr:Romeo_(logiciel)
has 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)
license	dbpedia-fr:Licence_CeCILL
is dbo:wikiPageWikiLink of	dbpedia-fr:Romeo_Model_Checker Romeo (disambiguation) dbpedia-fr:Vérification_de_modèles
is Wikipage redirect of	dbpedia-fr:Romeo_Model_Checker
is oa:hasTarget of	En labels Wikidata Fr related
is foaf:primaryTopic of	wikipedia-fr:Romeo_(logiciel)

Faceted Search & Find service v1.16.111 as of Oct 19 2022

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3234 as of May 18 2022, on Linux (x86_64-ubuntu_bionic-linux-gnu), Single-Server Edition (39 GB total memory, 13 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software