0408872 20240103182033.020060210235959.9 951-96042-6-X Fault tolerant specification of discrete events 1 Helsinki University of Technology 1994 IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes. Preprints227-230RuokonenT. cav_un_auth*0101178 Pik Jiří UTIA-B Ústav teorie informace a automatizace AV ČR, v. v. i. 27558 GA AV CZ cav_un_auth*0212011 IFAC Symposium SAFEPROCESS '94 Espoo FI 13.06.1994-16.06.1994 MTR http://hdl.handle.net/11104/0128974 UTIA-B 940108 1994 1994 Helsinki University of Technology 951-96042-6-X IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes. Preprints 227 230 Ruokonen T. 340