POTS: An OO LOTOS Specification

Jean-Paul Gibson 1 Yassine Mokhtari 1
1 MODEL - MODEL (Méthodes formelles et applications)
LORIA - Laboratoire Lorrain de Recherche en Informatique et ses 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é.
Type de document :
Rapport
[Intern report] 98-R-013 || gibson98b, 1998, 27 p
Liste complète des métadonnées

https://hal.inria.fr/inria-00098729
Contributeur : Publications Loria <>
Soumis le : mardi 26 septembre 2006 - 08:21:16
Dernière modification le : jeudi 11 janvier 2018 - 06:21:04
Document(s) archivé(s) le : vendredi 25 novembre 2016 - 11:46:00

Fichiers

Identifiants

  • HAL Id : inria-00098729, version 1

Collections

Citation

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

Partager

Métriques

Consultations de la notice

99

Téléchargements de fichiers

69