HEJ, HU ISSN 1418-7108
Manuscript no.: ANM-991102-A
Frontpage previous next

Bibliography

1
ALAN BURNS, GEOFF DAVIES, Concurrent Programming, Addison-Wesley Publ., 1993.

2
DAI DAVIS ET AL., Safety-Critical Systems, Special Feature, Computing & Control Enginering Journal, Volume 5, 1994.

3
J. DIEUDONNÉ, Foundations of Modern Analysis, Academic Press, New York and London, 1968.

4
RYSZARD JANICKI, PETER E. LAUER, Specification and Analysis of Concurrent Systems, Springer-Verlag, Berlin, 1992.

5
FELIX REDMILL, TOM ANDERSON, Safety-critical Systems, Chapman & Hall, 1993.

6
MIKLÓS SZIJÁRTÓ, DIETMÁR GROGER, GÁBOR KALLÓS, Biztonságkritikus rendszerek állapotainak kvalitatív modellje, Jubileumi Tudományos Konferencia, SZIF, Gyor, 1998.

7
MIKLÓS SZIJÁRTÓ, DIETMÁR GROGER, GÁBOR KALLÓS, Biztonságkritikus rendszerek távolság modellje, Akadémiai Napok, SZIF, Gyor, 1999.
HEJ, HU ISSN 1418-7108
Manuscript no.: ANM-991102-A
Frontpage previous next