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 Boston University 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

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

Subject

• Calcul formel
• Conference papers and proceedings
• Echtzeitsystem
• Echtzeitsystem
• Electronic resources (Books)
• Fault-tolerant computing
• Fault-tolerant computing -- Congresses
• Fehlertoleranz
• Fehlertoleranz
• Kongreß
• Kongreß -- Uppsala -- 1996
• Real-time data processing
• Real-time data processing -- Congresses
• Real-time systemen
• Software basico
• Storingsbestendige computersystemen
• Temps réel (informatique)
• Temps réel -- Congrès
• Tolérance aux fautes (Informatique) -- Congrès
• Tolérance aux fautes (informatique)
• Uppsala (1996)
• logique temporelle
• ordonnancement
• spécification formelle
• système temps réel
• système tolérant
• temps réel
• tolérance panne
• vérification

Genre

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

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

Member of

• Lecture notes in computer science, 1135.

Cataloging source

DLC

Illustrations

illustrations

Index

index present

LC call number

QA76.54

LC item number

.F657 1996

Literary form

non fiction

Nature of contents

• dictionaries
• bibliography