|
|
|
|
|
|
|
|
1 - 6 von 6 |
|
|
Ihre Aktion |
Suchen (Schlagwörter GND (Phrase) (XSP)) echtzeitbetriebssystem eingrenzen (Basisklassifikation (XBKL)) 54.33
|
|
|
|
|
|
1. |
Formal Techniques in Real-Time and Fault-Tolerant Systems : 4th International Symposium, Uppsala, Sweden, September 9 - 13, 1996, Proceedings Jonsson, Bengt. - Berlin, Heidelberg : Springer Berlin Heidelberg, 1996
|
|
|
|
2. |
Formal techniques in real time and fault tolerant systems : 4th International Symposium, Uppsala, Sweden, September 9 - 13, 1996, proceedings Jonsson, Bengt. - Berlin : Springer, 1996
|
|
|
|
3. |
Formal Techniques in Real-Time and Fault-Tolerant Systems : Third International Symposium Organized Jointly with the Working Group Provably Correct Systems - ProCos, Lübeck, Germany, September 19 - 23, 1994. Proceedings Langmaack, Hans *1934-*. - Berlin, Heidelberg : Springer Berlin Heidelberg, 1994
|
|
|
|
4. |
Formal techniques in real time and fault tolerant systems : Third International Symposium, organized jointly with the Working Group Provably Correct Systems - ProCoS, Lübeck, Germany, September 19 - 23, 1994, proceedings Langmaack, Hans *1934-*. - Berlin : Springer, 1994
|
|
|
|
5. |
Formal techniques in real-time and fault-tolerant systems : second international symposium, Nijmegen, The Netherlands, January 8 - 10, 1992 ; proceedings Vytopil, Jan. - Online-Ausg.. - Berlin [u.a.] : Springer, 1992
|
|
|
|
6. |
Formal Techniques in Real-Time and Fault-Tolerant Systems : Second International Symposium, Nijmegen, The Netherlands, January 8-10, 1992. Proceedings Vytopil, Jan. - Berlin, Heidelberg : Springer Berlin Heidelberg, 1991
|
|
|
|