timed Z

Article View: comp.specification.z

Article #144

Back to comp.specification.z Previous Next

#144

From: 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

Technical Details

Message-ID: <17718.9301081208@prg.oxford.ac.uk>

Path: arc1-ca.pugleaf.net!sparky!uunet!mcsun!uknet!comlab.ox.ac.uk!VAXA.NEWCASTLE-POLY.AC.UK

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!sparky!uunet!mcsun!uknet!comlab.ox.ac.uk!VAXA.NEWCASTLE-POLY.AC.UK
From: CIY3@VAXA.NEWCASTLE-POLY.AC.UK (DAVE TURNER)
Newsgroups: comp.specification.z
Subject: timed Z
Message-ID: <17718.9301081208@prg.oxford.ac.uk>
Date: 8 Jan 93 12:07:00 GMT
Lines: 12
X-Mailer: mail-news 2.0.3