home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1993 #1 / NN_1993_1.iso / spool / comp / protocol / iso / 1463 < prev    next >
Encoding:
Internet Message Format  |  1993-01-04  |  1.7 KB
  1. Path: sparky!uunet!gatech!udel!louie!blackhole.delmarva.com!mercury!scoggin
  2. From: scoggin@delmarva.com (John K. Scoggin, Jr.)
  3. Newsgroups: comp.protocols.iso
  4. Subject: Re: Estelle Verification Tool?
  5. Date: 1 Jan 1993 20:40:07 GMT
  6. Organization: Delmarva Power & Light Company
  7. Lines: 23
  8. Distribution: world
  9. Message-ID: <1i2a77INNod8@blackhole.delmarva.com>
  10. References: <1992Dec27.042553.2647@latcs1.lat.oz.au>
  11. Reply-To: scoggin@delmarva.com
  12. NNTP-Posting-Host: mercury.delmarva.com
  13.  
  14. In article 2647@latcs1.lat.oz.au, jira@elc1.lat.oz.au (Ajin Jirachiefpattana) writes:
  15. > Hi everybody,
  16. > 
  17. > Besides ESTIM (Estelle SimulaTor Based on an Interpretative Machine) prototyped
  18. > by LAAS within the framework of SEDOS project, I just wonder if there is any
  19. > Estelle verification tool available via anonymous ftp. Any related information
  20. > would be greatly appreciated. 
  21. > 
  22.  
  23. 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.
  24.  
  25. Hope this helps.  If not, you might contact Professor Paul D. Amer (amer@cis.udel.edu) - he is very active in this area.
  26.  
  27.     - John
  28. ---
  29. +---------------------------------------------------------------------+    
  30. |  John K. Scoggin, Jr.            Email: scoggin@delmarva.com   |
  31. |  Supervisor, Network Operations       Phone: (302) 451-5200         |
  32. |  Delmarva Power & Light Company       Fax:   (302) 451-5321         |
  33. |  500 N. Wakefield Drive               NOC:   (800) 388-7076         |
  34. |  Newark, DE 19714-6066                                      |
  35. +---------------------------------------------------------------------+
  36.  
  37.