POTS: An OO LOTOS Specification - Inria - Institut national de recherche en sciences et technologies du numérique
Rapport Année : 1998

POTS: An OO LOTOS Specification

Jean-Paul Gibson
MODEL (Méthodes formelles et applications)
CV
Yassine Mokhtari
  • Fonction : Auteur
MODEL (Méthodes formelles et applications)

Résumé

La spécification et validation du POTS (plain old telephone service) en utilisant LOTOS (language of temporal ordering specification). l'approche orienté objet est examiné.

Domaines

Autre [cs.OH]
Fichier principal
Vignette du fichier
98-R-013.pdf (334.66 Ko) Télécharger le fichier

Publications Loria  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/inria-00098729

Soumis le : mardi 26 septembre 2006-08:21:16

Dernière modification le : vendredi 24 mars 2023-14:52:48

Archivage à long terme le : vendredi 25 novembre 2016-11:46:00

Télécharger pour visualiser

Dates et versions

inria-00098729 , version 1 (26-09-2006)

Identifiants

  • HAL Id : inria-00098729 , version 1

Citer

Jean-Paul Gibson, Yassine Mokhtari. POTS: An OO LOTOS Specification. [Intern report] 98-R-013 || gibson98b, 1998, 27 p. ⟨inria-00098729⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS INRIA UNIV-LORRAINE LORIA LARA TSP-DISSEM
60 Consultations
922 Téléchargements

Partager

More