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

"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;...

Full description

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Jonsson, Bengt, 1957-, Parrow, Joachim, 1956-
Format:	eBook
Language:	English
Published:	Berlin ; New York : Springer, [1996]
Series:	Lecture notes in computer science ; 1135.
Subjects:	Real-time data processing > Congresses. Fault-tolerant computing > Congresses. système temps réel. système tolérant. spécification formelle. logique temporelle. ordonnancement. vérification. temps réel. tolérance panne. Temps réel > Congrès. Tolérance aux fautes (Informatique) > Congrès. Fault-tolerant computing. Real-time data processing. Real-time systemen. Storingsbestendige computersystemen. Software Basico. Tolérance aux fautes (informatique) Calcul formel. Temps-réel (informatique) Echtzeitsystem. Fehlertoleranz. Kongre€. Electronic books. Conference proceedings. Uppsala (1996) Electronic resources (Books) Kongre€ > Uppsala > 1996.
Online Access:	Connect to the full text of this electronic book

Internet

Connect to the full text of this electronic book

Remote Storage

Holdings details from Remote Storage
Call Number	Status	Get It
Call Number:		QA76.54 .F66 1996

QA76.54 .F66 1996	Available