Estelle Verification Tool?

Thread View: comp.protocols.iso

2 messages

[T] Back to Threads [V] Tree View [G] Group Articles

2 total messages Started by Ajin Jirachiefpattana Sun, 27 Dec 1992 04:25

#1262

Author: 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.

Re: Estelle Verification Tool?

#1388

Author: John K. Scoggin, Jr.
Date: Fri, 01 Jan 1993 20:40

22 lines
1730 bytes

In article 2647@latcs1.lat.oz.au, jira@elc1.lat.oz.au (Ajin Jirachiefpattana) writes:
> 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. 
> 

I would look into the pub/osikit directory on osi.ncsl.nist.gov - this is an anonymous FTP server at the National Institute for Science & Technology.  There is also some Estelle material in pub/grope on louie.udel.edu.

Hope this helps.  If not, you might contact Professor Paul D. Amer (amer@cis.udel.edu) - he is very active in this area.

	- John
---
+---------------------------------------------------------------------+    
|  John K. Scoggin, Jr.			Email: scoggin@delmarva.com   |
|  Supervisor, Network Operations       Phone: (302) 451-5200         |
|  Delmarva Power & Light Company       Fax:   (302) 451-5321         |
|  500 N. Wakefield Drive               NOC:   (800) 388-7076         |
|  Newark, DE 19714-6066		                              |
+---------------------------------------------------------------------+

Thread Navigation

This is a paginated view of messages in the thread with full content displayed inline.

Messages are displayed in chronological order, with the original post highlighted in green.

Use pagination controls to navigate through all messages in large threads.

Back to All Threads