HEJ, HU ISSN 1418-7108
Manuscript no.: ANM-991102-A
| 
 |
|
- 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
|
|
|