Coverart for item
The Resource 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, editors, Yassine Lakhnech, Sergio Yovine

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, editors, Yassine Lakhnech, Sergio Yovine

Label
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
Title
Formal techniques, modelling and analysis of timed and fault-tolerant systems
Title remainder
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
Statement of responsibility
editors, Yassine Lakhnech, Sergio Yovine
Title variation
  • FORMATS 2004
  • Formal Modeling and Analysis of Timed Systems
  • FTRTFT 2004
  • Formal Techniques in Real-Time and Fault -Tolerant Systems
Creator
Contributor
Subject
Genre
Language
eng
Summary
This book constitutes the refereed proceedings of the joint International Conferences Formal Modeling and Analysis of Timed Systems, FORMATS 2004, and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, held in Grenoble, France, in September 2004. The 24 revised full papers presented together with abstracts of 2 invited talks were carefully reviewed and selected from 70 submissions. Among the topics addressed are formal verification, voting systems, formal specification, dependable automation systems, model checking, timed automata, real-time testing, fault-tolerance protocols, fail-safe fault tolerance, real-time scheduling, satisfiability checking, symbolic model checking, stochastic hybrid systems, timed Petri nets, and event recording automata
Member of
Cataloging source
QCL
Dewey number
003/.3
Illustrations
illustrations
Index
index present
LC call number
QA76.9.C65
LC item number
F67 2004
Literary form
unknown
http://bibfra.me/vocab/lite/meetingDate
2004
http://bibfra.me/vocab/lite/meetingName
FORMATS (Conference)
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorDate
2004
http://library.link/vocab/relatedWorkOrContributorName
  • Lakhnech, Y.
  • Yovine, Sergio
  • LINK (Online service)
  • FTRTFT 2004
Series statement
Lecture notes in computer science
Series volume
3253
http://library.link/vocab/subjectName
  • Real-time data processing
  • Fault-tolerant computing
  • COMPUTERS
  • Fault-tolerant computing
  • Real-time data processing
Label
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, editors, Yassine Lakhnech, Sergio Yovine
Instantiates
Publication
Note
  • Title from title screen (viewed Dec. 10, 2004)
  • Print version originally published in 2004
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
Invited Papers -- From Software to Hardware and Back -- Of Elections and Electrons -- Regular Papers -- Formal Verification of an Avionics Sensor Voter Using SCADE -- Mixed Delay and Threshold Voters in Critical Real-Time Systems -- Towards a Methodological Approach to Specification and Analysis of Dependable Automation Systems -- On Two-Sided Approximate Model-Checking: Problem Formulation and Solution via Finite Topologies -- On Timed Automata with Input-Determined Guards -- Decomposing Verification of Timed I/O Automata -- Symbolic Model Checking for Simply-Timed Systems -- Robustness and Implementability of Timed Automata -- Real-Time Testing with Timed Automata Testers and Coverage Criteria -- Monitoring Temporal Properties of Continuous Signals -- A Unified Fault-Tolerance Protocol -- Automating the Addition of Fail-Safe Fault-Tolerance: Beyond Fusion-Closed Specifications -- Modeling and Verification of a Fault-Tolerant Real-Time Startup Protocol Using Calendar Automata -- Static Fault-Tolerant Real-Time Scheduling with "Pseudo-topological" Orders -- The Influence of Durational Actions on Time Equivalences -- Bounded Model Checking for Region Automata -- Some Progress in Satisfiability Checking for Difference Logic -- Model-Checking for Weighted Timed Automata -- Symbolic Model Checking for Probabilistic Timed Automata -- Structured Modeling of Concurrent Stochastic Hybrid Systems -- Computing Schedules for Multithreaded Real-Time Programs Using Geometry -- Forward Reachability Analysis of Timed Petri Nets -- Lazy Approximation for Dense Real-Time Systems -- Learning of Event-Recording Automata
Control code
57348541
Extent
1 online resource (x, 395 pages)
Form of item
online
Isbn
9783540302063
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/b100824
Other physical details
illustrations.
Specific material designation
remote
System control number
(OCoLC)57348541
Label
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, editors, Yassine Lakhnech, Sergio Yovine
Publication
Note
  • Title from title screen (viewed Dec. 10, 2004)
  • Print version originally published in 2004
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
Invited Papers -- From Software to Hardware and Back -- Of Elections and Electrons -- Regular Papers -- Formal Verification of an Avionics Sensor Voter Using SCADE -- Mixed Delay and Threshold Voters in Critical Real-Time Systems -- Towards a Methodological Approach to Specification and Analysis of Dependable Automation Systems -- On Two-Sided Approximate Model-Checking: Problem Formulation and Solution via Finite Topologies -- On Timed Automata with Input-Determined Guards -- Decomposing Verification of Timed I/O Automata -- Symbolic Model Checking for Simply-Timed Systems -- Robustness and Implementability of Timed Automata -- Real-Time Testing with Timed Automata Testers and Coverage Criteria -- Monitoring Temporal Properties of Continuous Signals -- A Unified Fault-Tolerance Protocol -- Automating the Addition of Fail-Safe Fault-Tolerance: Beyond Fusion-Closed Specifications -- Modeling and Verification of a Fault-Tolerant Real-Time Startup Protocol Using Calendar Automata -- Static Fault-Tolerant Real-Time Scheduling with "Pseudo-topological" Orders -- The Influence of Durational Actions on Time Equivalences -- Bounded Model Checking for Region Automata -- Some Progress in Satisfiability Checking for Difference Logic -- Model-Checking for Weighted Timed Automata -- Symbolic Model Checking for Probabilistic Timed Automata -- Structured Modeling of Concurrent Stochastic Hybrid Systems -- Computing Schedules for Multithreaded Real-Time Programs Using Geometry -- Forward Reachability Analysis of Timed Petri Nets -- Lazy Approximation for Dense Real-Time Systems -- Learning of Event-Recording Automata
Control code
57348541
Extent
1 online resource (x, 395 pages)
Form of item
online
Isbn
9783540302063
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/b100824
Other physical details
illustrations.
Specific material designation
remote
System control number
(OCoLC)57348541

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
Processing Feedback ...