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é.
INRIA.HAL.SCIENCE Web Portal Publications, softwares... of Inria fellow Academics |
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