Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems Joint International Conferences on Formal Modeling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004, Proceedings

Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems Joint International Conferences on Formal Modeling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004, Proceedings / edited by Yassine Lakhnech, Sergio Yovine.

Saved in:

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Lakhnech, Yassine (Editor), Yovine, Sergio (Editor)
Format:	eBook
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004.
Edition:	1st ed. 2004.
Series:	Lecture Notes in Computer Science, 3253 Springer eBook Collection.
Subjects:	Computers. Computer logic. Programming languages (Electronic computers). Microprocessors. Special purpose computers. Software engineering. Electronic resources (E-books)
Online Access:	Click to view e-book
Holy Cross Note:	Loaded electronically. Electronic access restricted to members of the Holy Cross Community.

Similar Items

Formal Techniques in Real-Time and Fault-Tolerant Systems
Published: (1993)

Formal Techniques in Real-Time and Fault-Tolerant Systems 5th International Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings
Published: (1998)

Formal Techniques in Real-Time and Fault-Tolerant Systems 6th International Symposium, FTRTFT 2000 Pune, India, September 20-22, 2000 Proceedings
Published: (2000)

Fault-Tolerant Real-Time Systems The Problem of Replica Determinism
by: Poledna, Stefan
Published: (1996)

Formal Techniques in Real-Time and Fault-Tolerant Systems 4th International Symposium, Uppsala, Sweden, September 9 - 13, 1996, Proceedings
Published: (1996)

Formal Techniques in Real-Time and Fault-Tolerant Systems 7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002. Proceedings
Published: (2002)

Responsive Computer Systems: Steps Toward Fault-Tolerant Real-Time Systems
Published: (1995)

Formal Techniques in Real-Time and Fault-Tolerant Systems Third International Symposium Organized Jointly with the Working Group Provably Correct Systems - ProCos, Lübeck, Germany, September 19 - 23, 1994. Proceedings
Published: (1994)

Formal Techniques in Real-Time and Fault-Tolerant Systems Proceedings of a Symposium, Warwick, UK, September 22-23, 1988
Published: (1988)

Fault-Tolerant Distributed Computing
Published: (1990)

A Generic Fault-Tolerant Architecture for Real-Time Dependable Systems
Published: (2001)

The Evolution of Fault-Tolerant Computing In the Honor of William C. Carter
Published: (1987)

Hardware and Software Architectures for Fault Tolerance Experiences and Perspectives
Published: (1994)

Real-Time Database Systems Issues and Applications
Published: (1997)

Fault-Tolerant Computing Systems Tests, Diagnosis, Fault Treatment 5th International GI/ITG/GMA Conference Nürnberg, September 25–27, 1991 Proceedings
Published: (1991)

Time-Constrained Transaction Management Real-Time Constraints in Database Transaction Systems
by: Soparkar, Nandit R., et al.
Published: (1996)

Real-Time Systems Design Principles for Distributed Embedded Applications
by: Kopetz, Hermann
Published: (1997)

Deadline Scheduling for Real-Time Systems EDF and Related Algorithms
by: Stankovic, John A., et al.
Published: (1998)

Real-Time and Multi-Agent Systems
by: Attoui, Ammar
Published: (2000)

The Engineering of Complex Real-Time Computer Control Systems
Published: (1996)

Constructing Predictable Real Time Systems
by: Stoyenko, Alexander D.
Published: (1991)

Challenges in Design and Implementation of Middlewares for Real-Time Systems
Published: (2001)

Introduction to the Formal Design of Real-Time Systems
by: Gray, David F.
Published: (1999)

Hard Real-Time Computing Systems Predictable Scheduling Algorithms and Applications
by: Buttazzo, Giorgio C.
Published: (1997)

Distributed Systems for System Architects
by: Veríssimo, Paulo, et al.
Published: (2001)

Fault-Tolerant Parallel Computation
by: Kanellakis, Paris Christos, et al.
Published: (1997)

Foundations of Dependable Computing Models and Frameworks for Dependable Systems
Published: (1994)

Hybrid and Real-Time Systems International Workshop, HART'97, Grenoble, France, March 26-28, 1997, Proceedings
Published: (1997)

Formal Methods for the Design of Real-Time Systems International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004, Revised Lectures
Published: (2004)

Embedded Software and Systems First International Conference, ICESS 2004, Hangzhou, China, December 9-10, 2004, Revised Selected Papers
Published: (2005)

Real-Time Systems Design Principles for Distributed Embedded Applications
by: Kopetz, Hermann
Published: (2011)

Hard Real-Time Computing Systems Predictable Scheduling Algorithms and Applications
by: Buttazzo, Giorgio C.
Published: (2011)

Synchronization in Real-Time Systems A Priority Inheritance Approach
by: Rajkumar, Ragunathan
Published: (1991)

Formal Modeling and Analysis of Timed Systems 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings
Published: (2006)

Event-Triggered and Time-Triggered Control Paradigms
by: Obermaisser, Roman
Published: (2005)

Formal Modeling and Analysis of Timed Systems Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings
Published: (2005)

TRON Project 1988 Open-Architecture Computer Systems
Published: (1988)

Embedded Systems Design Based on Formal Models of Computation
by: Radojevic, Ivan, et al.
Published: (2011)

Compositional Verification of Concurrent and Real-Time Systems
by: Juan, Eric Y.T, et al.
Published: (2002)

Hybrid Systems: Computation and Control 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008, Proceedings
Published: (2008)