Romeo (logiciel)
- Romeo (logiciel)
-
Roméo est un atelier logiciel pour la validation et la verification (Model-checking) de systèmes temps réel modélisés par des réseaux de Petri temporels[1], à chronomètres ou paramétriques[2].
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 plate-formes Linux, MAC OSX et Windows.
Liens externes
Références
- ↑ Gardey, G ; Lime, D ; Magnin, M ; Roux, OH. "Roméo: A tool for analyzing time Petri nets". In 17th International Conference on Computer Aided Verification (CAV'05), volume 3576 of Lecture Notes in Computer Science, pages 418-423, Edinburgh, Scotland, UK, July 2005. Springer.
- ↑ Lime, D ; Roux, OH ; Seidner, C ; Traonouez, LM. "Romeo: A parametric model-checker for Petri nets with stopwatches". In 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2009), volume 5505 of Lecture Notes in Computer Science, pages 54-57, York, United Kingdom, March 2009. Springer.
Wikimedia Foundation.
2010.
Contenu soumis à la licence CC-BY-SA. Source : Article Romeo (logiciel) de Wikipédia en français (auteurs)
Regardez d'autres dictionnaires:
Cartographie Des Marques Par Groupe — Projet:Entreprises/Cartographie des marques par groupe Vous trouverez dans cette page une liste de 2 452 marques ou noms de sociétés avec en correspondance le nom du groupe qui en est propriétaire ou qui les contrôle. Cette liste n est pas… … Wikipédia en Français
Cartographie des marques par groupe — Projet:Entreprises/Cartographie des marques par groupe Vous trouverez dans cette page une liste de 2 452 marques ou noms de sociétés avec en correspondance le nom du groupe qui en est propriétaire ou qui les contrôle. Cette liste n est pas… … Wikipédia en Français
Frolic — Projet:Entreprises/Cartographie des marques par groupe Vous trouverez dans cette page une liste de 2 452 marques ou noms de sociétés avec en correspondance le nom du groupe qui en est propriétaire ou qui les contrôle. Cette liste n est pas… … Wikipédia en Français
Kitekat — Projet:Entreprises/Cartographie des marques par groupe Vous trouverez dans cette page une liste de 2 452 marques ou noms de sociétés avec en correspondance le nom du groupe qui en est propriétaire ou qui les contrôle. Cette liste n est pas… … Wikipédia en Français
M£G — Projet:Entreprises/Cartographie des marques par groupe Vous trouverez dans cette page une liste de 2 452 marques ou noms de sociétés avec en correspondance le nom du groupe qui en est propriétaire ou qui les contrôle. Cette liste n est pas… … Wikipédia en Français
Sara lee corporation — Projet:Entreprises/Cartographie des marques par groupe Vous trouverez dans cette page une liste de 2 452 marques ou noms de sociétés avec en correspondance le nom du groupe qui en est propriétaire ou qui les contrôle. Cette liste n est pas… … Wikipédia en Français
Projet:Entreprises/Cartographie des marques par groupe — Vous trouverez dans cette page une liste de 2 452 marques ou noms de sociétés avec en correspondance le nom du groupe qui en est propriétaire ou qui les contrôle. Cette liste n est pas une liste officielle et les cessions de marques étant… … Wikipédia en Français
Hello World — Pour les articles homonymes, voir Hello (homonymie). hello world (traduit littéralement en français par « bonjour le monde ») sont les mots traditionnellement écrits par un programme informatique simple dont le but est de faire la… … Wikipédia en Français
Gran Turismo 5 — Éditeur Sony Computer Entertainment Développeur Polyphony Digital Concepteur Ka … Wikipédia en Français
Ben & Jerrys — Projet:Entreprises/Cartographie des marques par secteur Vous trouverez dans cette page une liste de 2 453 marques ou noms de société avec en correspondance le nom du groupe qui en est propriétaire ou qui les contrôle. Cette liste n est pas… … Wikipédia en Français
