TY - BOOK ID - 2535797 TI - 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 AU - Langmaack, Hans AU - Roever, W.-P. de AU - Vytopil, J. PY - 1994 VL - 863 SN - 0387584684 PB - Berlin New York Springer-Verlag DB - UniCat KW - Real-time data processing KW - Fault-tolerant computing KW - Temps réel KW - Tolérance aux fautes (Informatique) KW - Congresses KW - Congrès KW - Temps réel KW - Tolérance aux fautes (Informatique) KW - Congrès UR - https://www.unicat.be/uniCat?func=search&query=sysid:2535797 AB - ER -