🚀 go-pugleaf

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		                              |
+---------------------------------------------------------------------+