home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #31 / NN_1992_31.iso / spool / comp / protocol / iso / 1451 < prev    next >
Encoding:
Internet Message Format  |  1992-12-27  |  899 b 
  1. Path: sparky!uunet!munnari.oz.au!ariel.ucs.unimelb.EDU.AU!ucsvc.ucs.unimelb.edu.au!lugb!latcs1!elc1.lat.oz.au!jira
  2. Newsgroups: comp.protocols.iso
  3. Subject: Estelle Verification Tool?
  4. Message-ID: <1992Dec27.042553.2647@latcs1.lat.oz.au>
  5. From: jira@elc1.lat.oz.au (Ajin Jirachiefpattana)
  6. Date: Sun, 27 Dec 1992 04:25:53 GMT
  7. Sender: news@latcs1.lat.oz.au (news)
  8. Organization: Comp Sci, La Trobe Uni, Australia
  9. Nntp-Posting-Host: elc1.lat.oz.au
  10. Lines: 17
  11.  
  12. Hi everybody,
  13.  
  14. Besides ESTIM (Estelle SimulaTor Based on an Interpretative Machine) prototyped
  15. by LAAS within the framework of SEDOS project, I just wonder if there is any
  16. Estelle verification tool available via anonymous ftp. Any related information
  17. would be greatly appreciated. 
  18.  
  19. Thanks,
  20.  
  21. Ajin Jirachiefpattana,
  22.  
  23. jira@latcs1.lat.oz.au
  24. Department of Computer Science & Computer Engineering,
  25. La Trobe University,
  26. Bundoora, Vic., 3083.
  27. Australia.
  28.  
  29.