Coverart for item
The Resource Formal techniques in real-time and fault-tolerant systems : 6th International Symposium, FTRTFT 2000, Pune, India, September 20-22, 2000 : proceedings, Mathai Joseph (ed.)

Formal techniques in real-time and fault-tolerant systems : 6th International Symposium, FTRTFT 2000, Pune, India, September 20-22, 2000 : proceedings, Mathai Joseph (ed.)

Label
Formal techniques in real-time and fault-tolerant systems : 6th International Symposium, FTRTFT 2000, Pune, India, September 20-22, 2000 : proceedings
Title
Formal techniques in real-time and fault-tolerant systems
Title remainder
6th International Symposium, FTRTFT 2000, Pune, India, September 20-22, 2000 : proceedings
Statement of responsibility
Mathai Joseph (ed.)
Title variation
FTRTFT 2000, formal techniques in real-time and fault-tolerant systems
Creator
Contributor
Subject
Genre
Language
eng
Member of
Cataloging source
DLC
Dewey number
004/.33
Illustrations
illustrations
Index
index present
LC call number
QA76.54
LC item number
.F75 2000
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2000
http://bibfra.me/vocab/lite/meetingName
FTRTFT 2000
Nature of contents
bibliography
http://library.link/vocab/relatedWorkOrContributorName
Joseph, M
Series statement
Lecture notes in computer science,
Series volume
1926
http://library.link/vocab/subjectName
  • Real-time data processing
  • Fault-tolerant computing
Label
Formal techniques in real-time and fault-tolerant systems : 6th International Symposium, FTRTFT 2000, Pune, India, September 20-22, 2000 : proceedings, Mathai Joseph (ed.)
Instantiates
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
volume
Carrier category code
  • nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
Stability of Discrete Sampled Systems / N. Halbwachs, J.-F. Hery and J.-C. Laleuf / [et al.] -- Issues in the Refinement of Distributed Programs / Yoram Moses -- Challenges in the Verification of Electronic Control Units / Werner Damm -- Scaling up Uppaal Automatic Verification of Real-Time Systems Using Compositionality and Abstraction / Henrik Ejersbo Jensen, Kim Guldstrand Larsen and Arne Skou -- Decidable Model Checking of Probabilistic Hybrid Automata / Jeremy Sproston -- Invariant-Based Synthesis of Fault-Tolerant Systems / K. Lano, David Clark and K. Androutsopoulos / [et al.] -- Modeling Faults of Distributed, Reactive Systems / Max Breitling -- Threshold and Bounded-Delay Voting in Critical Control Systems / Paul Caspi and Rym Salem -- Automating the Addition of Fault-Tolerance / Sandeep S. Kulkarni and Anish Arora -- Reliability Modelling of Time-Critical Distributed Systems / Hans Hansson, Christer Norstrom and Sasikumar Punnekkat -- A Methodology for the Construction of Scheduled Systems / K. Altisen, G. Gossler and J. Sifakis -- A Dual Interpretation of "Standard Constraints" in Parametric Scheduling / K. Subramani and Ashok Agrawala -- Co-simulation of Hybrid Systems: Signal-Simulink / Stephane Tudoret, Simin Nadjm-Tehrani and Albert Benveniste / [et al.] -- A System for Object Code Validation / A. K. Bhattocharjee, Gopa Sen and S. D. Dhodapkar / [et al.] -- Real-Time Program Refinement Using Auxiliary Variables / Ian Hayes -- On Refinement and Temporal Annotations / Ron van der Meyden and Yoram Moses -- Generalizing Action Systems to Hybrid Systems / Ralph-Johan Back, Luigia Petre and Ivan Porres -- Compositional Verification of Synchronous Networks / Leszek Holenderski -- Modelling Coordinated Atomic Actions in Timed CSP / Simeon Veloudis and Nimal Nissanke -- A Logical Characterisation of Event Recording Automata / Deepak D'Souza -- Using Cylindrical Algebraic Decomposition for the Analysis of Slope Parametric Hybrid Automata / Michael Adlaide and Olivier Roux -- Probabilistic Neighbourhood Logic / Dimitar P. Guelev -- An On-the-Fly Tableau Construction for a Real-Time Temporal Logic / Marc Geilen and Dennis Dams -- Verifying Universal Properties of Parameterized Networks / Kai Baukus, Yassine Lakhneck and Karsten Stahl
Control code
44841482
Dimensions
24 cm
Extent
x, 303 pages
Isbn
9783540410553
Isbn Type
(softcover : alk. paper)
Lccn
00045001
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
Other physical details
illustrations
Label
Formal techniques in real-time and fault-tolerant systems : 6th International Symposium, FTRTFT 2000, Pune, India, September 20-22, 2000 : proceedings, Mathai Joseph (ed.)
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
volume
Carrier category code
  • nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
Stability of Discrete Sampled Systems / N. Halbwachs, J.-F. Hery and J.-C. Laleuf / [et al.] -- Issues in the Refinement of Distributed Programs / Yoram Moses -- Challenges in the Verification of Electronic Control Units / Werner Damm -- Scaling up Uppaal Automatic Verification of Real-Time Systems Using Compositionality and Abstraction / Henrik Ejersbo Jensen, Kim Guldstrand Larsen and Arne Skou -- Decidable Model Checking of Probabilistic Hybrid Automata / Jeremy Sproston -- Invariant-Based Synthesis of Fault-Tolerant Systems / K. Lano, David Clark and K. Androutsopoulos / [et al.] -- Modeling Faults of Distributed, Reactive Systems / Max Breitling -- Threshold and Bounded-Delay Voting in Critical Control Systems / Paul Caspi and Rym Salem -- Automating the Addition of Fault-Tolerance / Sandeep S. Kulkarni and Anish Arora -- Reliability Modelling of Time-Critical Distributed Systems / Hans Hansson, Christer Norstrom and Sasikumar Punnekkat -- A Methodology for the Construction of Scheduled Systems / K. Altisen, G. Gossler and J. Sifakis -- A Dual Interpretation of "Standard Constraints" in Parametric Scheduling / K. Subramani and Ashok Agrawala -- Co-simulation of Hybrid Systems: Signal-Simulink / Stephane Tudoret, Simin Nadjm-Tehrani and Albert Benveniste / [et al.] -- A System for Object Code Validation / A. K. Bhattocharjee, Gopa Sen and S. D. Dhodapkar / [et al.] -- Real-Time Program Refinement Using Auxiliary Variables / Ian Hayes -- On Refinement and Temporal Annotations / Ron van der Meyden and Yoram Moses -- Generalizing Action Systems to Hybrid Systems / Ralph-Johan Back, Luigia Petre and Ivan Porres -- Compositional Verification of Synchronous Networks / Leszek Holenderski -- Modelling Coordinated Atomic Actions in Timed CSP / Simeon Veloudis and Nimal Nissanke -- A Logical Characterisation of Event Recording Automata / Deepak D'Souza -- Using Cylindrical Algebraic Decomposition for the Analysis of Slope Parametric Hybrid Automata / Michael Adlaide and Olivier Roux -- Probabilistic Neighbourhood Logic / Dimitar P. Guelev -- An On-the-Fly Tableau Construction for a Real-Time Temporal Logic / Marc Geilen and Dennis Dams -- Verifying Universal Properties of Parameterized Networks / Kai Baukus, Yassine Lakhneck and Karsten Stahl
Control code
44841482
Dimensions
24 cm
Extent
x, 303 pages
Isbn
9783540410553
Isbn Type
(softcover : alk. paper)
Lccn
00045001
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
Other physical details
illustrations

Library Locations

    • Engineering Library & Technology CommonsBorrow it
      W2001 Lafferre Hall, Columbia, MO, 65211, US
      38.946102 -92.330125
    • University of Missouri Libraries DepositoryBorrow it
      2908 Lemone Blvd, Columbia, MO, 65211, US
      38.919360 -92.291620
Processing Feedback ...