TY - BOOK ID - 2611078 TI - Formal techniques in real-time and fault-toleran systems : 4th international symposium, Uppsala, Sweden, September 9-13, 1996. Proceedings AU - Jonsson, Bengt AU - Parrow, Joachim AU - International symposium on formal techniques in real-time and fault-tolerant systems PY - 1996 VL - 1135 SN - 3540616489 3540706534 PB - Berlin ; Heidelberg ; New York Springer 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 KW - Congresses KW - Information theory. KW - Computer science. KW - Operating systems (Computers). KW - Logic design. KW - Software engineering. KW - Theory of Computation. KW - Programming Languages, Compilers, Interpreters. KW - Operating Systems. KW - Logics and Meanings of Programs. KW - Special Purpose and Application-Based Systems. KW - Processor Architectures. KW - Computer software engineering KW - Engineering KW - Design, Logic KW - Design of logic systems KW - Digital electronics KW - Electronic circuit design KW - Logic circuits KW - Machine theory KW - Switching theory KW - Computer operating systems KW - Computers KW - Disk operating systems KW - Systems software KW - Informatics KW - Science KW - Communication theory KW - Communication KW - Cybernetics KW - Operating systems UR - https://www.unicat.be/uniCat?func=search&query=sysid:2611078 AB - This volume constitutes the refereed proceedings of the Fourth International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFTS '96, held in Uppsala, Sweden, in September 1996. The 22 revised full papers presented were selected from a total of 61 submissions; also included are three invited contributions and five tools demonstrations. The papers are organized in sections on state charts, timed automata, duration calculus, case studies, scheduling, fault tolerance, specification, and verification. ER -