Choose an application

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

Fault-tolerant computing --- Electronic digital computers --- Sequential machine theory --- Tolérance aux fautes (informatique) --- Machines séquentielles, Théorie des. --- Ordinateurs --- Testing --- Tests.

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

Choose an application

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

This book constitutes the refereed proceedings of the 5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT'98, held in Lyngby, Denmark, in September 1998. The 22 revised full papers presented were carefully selected and reviewed for inclusion in the book. Also included are four invited contributions and five tool demonstrations. The papers address the current aspects of the hot topic of embedded systems, in particular temporal logic, requirements engineering, analysis techniques, verification, model checking, and applications.

Real-time data processing --- Fault-tolerant computing --- Temps réel --- Tolérance aux fautes (Informatique) --- Congresses. --- Congrès --- Congresses --- Computer Science --- Engineering & Applied Sciences --- Temps réel --- Tolérance aux fautes (Informatique) --- Congrès --- Computer science. --- Microprocessors. --- Special purpose computers. --- Architecture, Computer. --- Programming languages (Electronic computers). --- Computers. --- Computer logic. --- Computer Science. --- Programming Languages, Compilers, Interpreters. --- Computer System Implementation. --- Theory of Computation. --- Logics and Meanings of Programs. --- Processor Architectures. --- Special Purpose and Application-Based Systems. --- Computer network architectures. --- Information theory. --- Logic design. --- Software engineering. --- Computer software engineering --- Engineering --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Communication theory --- Communication --- Cybernetics --- Architectures, Computer network --- Network architectures, Computer --- Computer architecture --- Informatics --- Science --- Special purpose computers --- Computers --- Minicomputers --- Computer science logic --- Logic, Symbolic and mathematical --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Calculators --- Cyberspace --- Architecture, Computer --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Electronic data processing --- Languages, Artificial --- Real-time data processing - Congresses --- Fault-tolerant computing - Congresses