Formal Specifications of Telephone Systems in LOTOS - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Mohammed Faci, Luigi Logrippo, Bernard Stepien. Formal Specifications of Telephone Systems in LOTOS. In Ed Brinksma, Giuseppe Scollo, Chris A. Vissers, editors, Protocol Specification, Testing and Verification IX, Proceedings of the IFIP WG6.1 Ninth International Symposium on Protocol Specification, Testing and Verification, Enschede, The Netherlands, 6-9 June, 1989. pages 25-34, North-Holland, 1989.

The following publications are possibly variants of this publication:

Formal Specification of Telephone Systems in LOTOS: The Contraint-Oriented Style ApproachMohammed Faci, Luigi Logrippo, Bernard Stepien. cn, 21:53-67, 1991.

Specifying telephone systems in LOTOSRezki Boumezbeur, Luigi Logrippo. cm, 31(8):38-45, 1993. [doi]

runs on WebDSL