Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,279,029 papers from all fields of science
Search
Sign In
Create Free Account
E-LOTOS
E-LOTOS (Enhanced LOTOS) is a formal specification language designed between 1993 and 1999, and standardized by ISO in 2001. E-LOTOS was initially…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
5 relations
Broader (3)
Concurrency (computer science)
Concurrency control
Formal methods
Language Of Temporal Ordering Specification
Specification language
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2012
2012
Towards a Calculus for Distributed, Real-Time and Mobile Systems
T. Maarouk
,
Djamel-Eddine Saïdouni
,
Mohamed Khergag
Journal of Software
2012
Corpus ID: 8368662
This paper introduces a model for modeling real-time and mobile systems, which extends the DD-LOTOS language by the mobility…
Expand
2007
2007
The Polish NCA fines € 1.5 M petrochemical companies for coordination in halting production and distribution of a type of car gas ("U 95" - PKN Orlen - Grupa Lotos)
Robert Gago
,
P. Borowiec
2007
Corpus ID: 169159681
On 31 December 2007, the Polish President of the Office for Competition and Consumer Protection (“the OCCP”) fined both PKN Orlen…
Expand
1999
1999
An Edit and Compile Software which can automatically Translate E LOTOS into Graphic E LOTOS
Zhao Yu
1999
Corpus ID: 63515733
E LOTOS is an enhancement to formal description technology LOTOS.This paper first proposes a graphical respresentation,called GE…
Expand
Review
1998
Review
1998
A Formal Definition of Time in LOTOS Luc Le ! onard and
G. Leduc
1998
Corpus ID: 12535551
Enhanced Timed-LOTOS, denoted ET-LOTOS, is an extension of LOTOS that allows the modelling of real-time behaviours. It covers all…
Expand
1997
1997
POTS: An OO LOTOS Specification
John Paul Gibson
,
Y. Mokhtari
1997
Corpus ID: 61379515
La specification et validation du POTS (plain old telephone service) en utilisant LOTOS (language of temporal ordering…
Expand
1996
1996
French-Romanian Integrated Proposal for the User Language of E-LOTOS
H. Garavel
,
M. Sighireanu
1996
Corpus ID: 59768075
This document attempts to merge several existing proposals for E-Lotos, in order to provide a uniied deenition for the User…
Expand
1993
1993
Generation de tests pour les specificatins lotos
Sungun Kim
1993
Corpus ID: 169191494
Cette these presente une methode automatique de generation de sequences de test a partir de la specification en lotos d'un…
Expand
1990
1990
An Executor for Graphical LOTOS
T. Cheung
,
Yucheng Ye
Formal Techniques for (Networked and) Distributed…
1990
Corpus ID: 32880244
1989
1989
UO-GLOTOS: A Syntax/System for Representing, Editing and Translating Graphical LOTOS
T.-Y. Cheung
,
Y.-C. Ye
,
X. Ye
,
G.-Q. Wang
Formal Techniques for (Networked and) Distributed…
1989
Corpus ID: 34248794
On donne un bref aperçu de la situation de la recherche sur le langage LO-TOS, en ce qui concerne les travaux théoriques, le d…
Expand
1938
1938
Poison arrows;: Strange journey with an opium dreamer; Annam, Cambodia, Siam, and the lotos isle of Bali,
G. Seton
1938
Corpus ID: 128719310