Formal techniques in real-time and fault-tolerant systems : 4th international symposium, Uppsala, Sweden, September 9-13, 1996 : proceedings

Resource Information

The work Formal techniques in real-time and fault-tolerant systems : 4th international symposium, Uppsala, Sweden, September 9-13, 1996 : proceedings represents a distinct intellectual or artistic creation found in University of Missouri Libraries. This resource is a combination of several types including: Work, Language Material, Books, http://bibfra.me/vocab/marc/conference-publication.

Label

Formal techniques in real-time and fault-tolerant systems : 4th international symposium, Uppsala, Sweden, September 9-13, 1996 : proceedings

Title remainder

4th international symposium, Uppsala, Sweden, September 9-13, 1996 : proceedings

Statement of responsibility

Bengt Jonsson, Joachim Parrow, eds

Contributor

• Jonsson, Bengt, 1957-
• Parrow, Joachim, 1956-

Subject

• Conference papers and proceedings
• Electronic resources (Books)
• Fault-tolerant computing -- Congresses
• Real-time data processing -- Congresses
• Uppsala (1996)

Genre

• Congresses
• Electronic resources (Books)
• Uppsala (1996)
• Conference papers and proceedings

Language

eng

Summary

• "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."--PUBLISHER'S WEBSITE
• 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

Member of

• Lecture notes in computer science, 1135

Cataloging source

DLC

Dewey number

004/.33

Illustrations

illustrations

Index

index present

LC call number

QA76.54

LC item number

.F657 1996

Literary form

non fiction

Nature of contents

bibliography

Series statement

Lecture notes in computer science

Series volume

1135