Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

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.

Real-time data processing --- Fault-tolerant computing --- Temps réel --- Tolérance aux fautes (Informatique) --- Congresses. --- Congrès --- Temps réel --- Tolérance aux fautes (Informatique) --- Congrès --- Congresses --- Information theory. --- Computer science. --- Operating systems (Computers). --- Logic design. --- Software engineering. --- Theory of Computation. --- Programming Languages, Compilers, Interpreters. --- Operating Systems. --- Logics and Meanings of Programs. --- Special Purpose and Application-Based Systems. --- Processor Architectures. --- Computer software engineering --- Engineering --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Computer operating systems --- Computers --- Disk operating systems --- Systems software --- Informatics --- Science --- Communication theory --- Communication --- Cybernetics --- Operating systems