Formal techniques in real-time and fault-tolerant systems : 7th International Symposium, FTRTFT 2002, co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 2002 : proceedings /

This volume contains the proceedings of FTRTFT 2002, the International S- posium on Formal Techniques in Real-Time and Fault-Tolerant Systems, held at the University of Oldenburg, Germany, 9–12 September 2002. This sym- sium was the seventh in a series of FTRTFT symposia devoted to problems and solu...

Full description

Bibliographic Details
Corporate Author:	FTRTFT 2002 Oldenburg, Germany
Other Authors:	Damm, Werner, Olderog, E.-R
Format:	Conference Proceeding Book
Language:	English
Published:	Berlin ; New York : Springer, 2002 Berlin ; New York : c2002 Berlin ; New York : [2002]
Series:	Lecture notes in computer science 2469 Lecture notes in computer science ; 2463 Lecture notes in computer science ; 2469 Lecture notes in computer science 2469
Subjects:	Computer science Fault-tolerant computing > Congresses Logic design Memory management (Computer science) Microprogramming Real-time data processing > Congresses Software engineering Fault-tolerant computing Real-time data processing Conference papers and proceedings Oldenburg (Oldenburg, 2002)

Internet

University of Chicago

Holdings details from University of Chicago
Call Number:	QA76.54.F75 2002

Harvard University

Holdings details from Harvard University
Call Number:	QA75 .L4 vol. 2469

Duke University

Holdings details from Duke University
Call Number:	001.64 L471, v. 2469

Dartmouth College

Holdings details from Dartmouth College
Call Number:	QA76.54 .F75 2002

Columbia University

Holdings details from Columbia University
Call Number:	QA76.54 .F75 2002

University of Pennsylvania

Holdings details from University of Pennsylvania
Call Number:	QA76.54 .F75 2002

Brown University

Holdings details from Brown University
Call Number:	QA76.54 .F75 2002