A Rodin plugin for quantitative timed models

Joris Rehm 1
1 MOSEL - Proof-oriented development of computer-based systems
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : We propose to develop a Rodin plug-in that experiments a systematic use of a refinement pattern. The goal of this pattern is to help in modeling of timed system in Event-B. By timed system we mean system with quantitative temporal constraints and properties.
Type de document :
Communication dans un congrès
Michael Butler and Stefan Hallerstede and Laurent Voisin. Rodin User and Developer Workshop, Jul 2009, Southampton, United Kingdom. 2009
Liste complète des métadonnées

Littérature citée [3 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00431246
Contributeur : Joris Rehm <>
Soumis le : mercredi 11 novembre 2009 - 09:31:24
Dernière modification le : jeudi 11 janvier 2018 - 06:19:52
Document(s) archivé(s) le : mardi 16 octobre 2012 - 13:45:15

Fichier

time_plugin.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00431246, version 1

Collections

Citation

Joris Rehm. A Rodin plugin for quantitative timed models. Michael Butler and Stefan Hallerstede and Laurent Voisin. Rodin User and Developer Workshop, Jul 2009, Southampton, United Kingdom. 2009. 〈inria-00431246〉

Partager

Métriques

Consultations de la notice

198

Téléchargements de fichiers

185