comp.lang.ada
 help / color / mirror / Atom feed
From: "Messiah" <asmithster@hotmail.com>
Subject: Hard or soft systems
Date: Fri, 24 May 2002 17:26:07 +0100
Date: 2002-05-24T17:26:07+01:00	[thread overview]
Message-ID: <BMtH8.4024$GB4.609730@news6-win.server.ntlworld.com> (raw)

Can anyone answer the following:

Which of the following real time techniques can be used for Hard systems and
in what form would they need to be for this to be possible.

Petri nets
CSP
Ward mellor extended DFD's
Finite state machines

Where would it be possible on the net to find this information, and also
info into the current state of development ofeach of the above techniques.

Any help would be greatly appreciated.

M

--










----------------------------------------------------------------------------
-----------
This email and all attachments have been scanned
with Norton Anti Virus, Total protection for Pc and Mac

www.symantec.com





                 reply	other threads:[~2002-05-24 16:26 UTC|newest]

Thread overview: [no followups] expand[flat|nested]  mbox.gz  Atom feed
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox