POTS: An OO LOTOS Specification
Abstract
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é.
Reports
Year : 1998
Publications Loria : Connect in order to contact the contributor
https://inria.hal.science/inria-00098729
Submitted on : Tuesday, September 26, 2006-8:21:16 AM
Last modification on : Friday, March 24, 2023-2:52:48 PM
Long-term archiving on: Friday, November 25, 2016-11:46:00 AM
Dates and versions
Identifiers
- HAL Id : inria-00098729 , version 1
Cite
Jean-Paul Gibson, Yassine Mokhtari. POTS: An OO LOTOS Specification. [Intern report] 98-R-013 || gibson98b, 1998, 27 p. ⟨inria-00098729⟩
Collections
54
View
919
Download