Is EPROS available?

Thread View: comp.specification

1 messages

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

1 total messages Started by Pete Young Mon, 19 Nov 1990 11:20

#239

Author: Pete Young
Date: Mon, 19 Nov 1990 11:20

17 lines
1093 bytes

I would like to know if the EPROS system is available by ftp or
some other means. 

For those who don't know, EPROS is a system for
producing prototypes from a combination of VDM and state transition
diagrams.
It was developed by Darrel Ince and Sharam Hetmakpour.

Can anybody help?


Regards

Pete
  ____________________________________________________________________
  Pete Young         pyoung@axion.bt.co.uk        Phone +44 473 645054
  British Telecom Research Labs,SSTF, Martlesham Heath IPSWICH IP5 7RE

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