Article View: comp.specification
Article #276Re: Looking for small examples
From: Jeroen van de Lagemaat
Date: Fri, 16 Oct 1992 09:05
Date: Fri, 16 Oct 1992 09:05
33 lines
1628 bytes
1628 bytes
About examples: the guidelines document on the application of formal methods
of ISO describes the use of Estelle, LOTOS and SDL for 3 simple and
one large examples.
The reference: ISO TR 10167 "Information Processing Systems - Open System Inter
connection - Guidelines for the Application of Estelle, LOTOS and SDL.
Furthermore the related book of Prof. Ken Turner will be published soon.
Related to LOTOS only, a LOTOS user group is in the phase of establishment,
please contact me or Prof. Turner for enlisting.
Ken Turner
University of Stirling
Dept. of Computing Science
STIRLING FK9 4LA
UNITED KINGDOM
kjt@ cs.stir.ac.uk
Regards, Jeroen
--
___
__/ \__________ Jeroen van de Lagemaat <lagemaat@cs.utwente.nl>
| \___/ |
|___ __ ___ | University of Twente
| | | / \ (__ | Tele-Informatics & Open Systems
| |__|__\__/____) | P.O. Box 217 NL-7500 AE Enschede The Netherlands
|_________________| tel. +31 53 893684 tfx. +31 53 333815
Humour, you're making me laugh.
- Herman Finkers, Dutch comedian -
Technical Details
Message-ID:
<1992Oct16.100548@cs.utwente.nl>Path:
arc1-ca.pugleaf.net!sparky!uunet!mcsun!sun4nl!utrcu1!infnews!infnews!lagemaatReferences:
<1992Oct15.211956.22851@wuecl.wustl.edu>Show Full Headers
Complete Article Headers
Newsgroups: comp.specification Path: arc1-ca.pugleaf.net!sparky!uunet!mcsun!sun4nl!utrcu1!infnews!infnews!lagemaat From: lagemaat@cs.utwente.nl (Jeroen van de Lagemaat) Subject: Re: Looking for small examples Message-ID: <1992Oct16.100548@cs.utwente.nl> Sender: usenet@cs.utwente.nl Nntp-Posting-Host: utis09 Organization: University of Twente, Dept. of Computer Science References: <1992Oct15.211956.22851@wuecl.wustl.edu> Date: Fri, 16 Oct 1992 09:05:48 GMT Lines: 34