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 metadata

https://hal.inria.fr/inria-00098729
Contributor : Publications Loria <>
Submitted on : Tuesday, September 26, 2006 - 8:21:16 AM
Last modification on : Friday, February 26, 2021 - 3:28:08 PM
Long-term archiving on: : 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

162

Files downloads

1088