Skip to Main content Skip to Navigation
Reports

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é.
Document type :
Reports
Complete list of metadatas

https://hal.inria.fr/inria-00098729
Contributor : Publications Loria <>
Submitted on : Tuesday, September 26, 2006 - 8:21:16 AM
Last modification on : Tuesday, February 18, 2020 - 3:29:12 PM
Document(s) archivé(s) le : Friday, November 25, 2016 - 11:46:00 AM

Identifiers

  • 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⟩

Share

Metrics

Record views

122

Files downloads

1041