POTS: An OO LOTOS Specification
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é.
Rapport
Année : 1998
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
Dates et versions
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⟩
Collections
54
Consultations
917
Téléchargements