An Enhanced Version of Timed LOTOS and its Application to a Case Study

@inproceedings{Lonard1993AnEV,
  title={An Enhanced Version of Timed LOTOS and its Application to a Case Study},
  author={Luc L{\'e}onard and Guy Leduc},
  booktitle={FORTE},
  year={1993}
}
We propose here ET-LOTOS, a timed extension of LOTOS. It is an enhancement of Timed LOTOS that we presented at FORTE 92. We show how some simple modifications allow us to improve the expressiveness of our former formalism. To assess ET-LOTOS, we apply it to the specification of a small case study. Finally, we show how the semantics of ET-LOTOS could be modified to easily define more powerful operators, if one ever had to. 1. INTRODUCTION The formalism presented here, ET-LOTOS (Enhanced Timed… CONTINUE READING

From This Paper

Topics from this paper.
28 Citations
2 References
Similar Papers

References

Publications referenced by this paper.
Showing 1-2 of 2 references

Comment rendre LOTOS apte à spécifier des systèmes temps réel ?

  • L. Léonard Leduc
  • 1993

Similar Papers

Loading similar papers…