Estelle Verification Tool?

Article View: comp.protocols.iso

Article #1262

Back to comp.protocols.iso Previous Next

#1262

From: Ajin Jirachiefpattana
Date: Sun, 27 Dec 1992 04:25

16 lines
925 bytes

Hi everybody,

Besides ESTIM (Estelle SimulaTor Based on an Interpretative Machine) prototyped
by LAAS within the framework of SEDOS project, I just wonder if there is any
Estelle verification tool available via anonymous ftp. Any related information
would be greatly appreciated. 

Thanks,

Ajin Jirachiefpattana,

jira@latcs1.lat.oz.au
Department of Computer Science & Computer Engineering,
La Trobe University,
Bundoora, Vic., 3083.
Australia.

Technical Details

Message-ID: <1992Dec27.042553.2647@latcs1.lat.oz.au>

Path:

arc1-ca.pugleaf.net!sparky!uunet!munnari.oz.au!ariel.ucs.unimelb.EDU.AU!ucsvc.ucs.unimelb.edu.au!lugb!latcs1!elc1.lat.oz.au!jira

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!sparky!uunet!munnari.oz.au!ariel.ucs.unimelb.EDU.AU!ucsvc.ucs.unimelb.edu.au!lugb!latcs1!elc1.lat.oz.au!jira
Newsgroups: comp.protocols.iso
Subject: Estelle Verification Tool?
Message-ID: <1992Dec27.042553.2647@latcs1.lat.oz.au>
From: jira@elc1.lat.oz.au (Ajin Jirachiefpattana)
Date: Sun, 27 Dec 1992 04:25:53 GMT
Sender: news@latcs1.lat.oz.au (news)
Organization: Comp Sci, La Trobe Uni, Australia
Nntp-Posting-Host: elc1.lat.oz.au
Lines: 17