timed Z

Thread View: comp.specification.z

1 messages

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

1 total messages Started by DAVE TURNER Fri, 08 Jan 1993 12:07

#144

Author: DAVE TURNER
Date: Fri, 08 Jan 1993 12:07

12 lines
782 bytes

    I am currently researching  the development  of real-time safety-critical
systems and am interested in the use of Z to specify the timing requirements
of such systems.
    I should be pleased to hear from anyone else working in this area. I would
also be grateful to receive any papers or information about the use of Z 
for this purpose that you may like to forward me.        
    My email address is DAVE.TURNER@uk.ac.newcastle-poly.vaxa.

Many Thanks,

Dave Turner

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