Coverart for item
The Resource 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, Werner Damm, Ernst-Rüdiger Olderog (eds.)

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, Werner Damm, Ernst-Rüdiger Olderog (eds.)

Label
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
Title
Formal techniques in real-time and fault-tolerant systems
Title remainder
7th International Symposium, FTRTFT 2002, co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002 : proceedings
Statement of responsibility
Werner Damm, Ernst-Rüdiger Olderog (eds.)
Creator
Contributor
Subject
Genre
Language
eng
Summary
This book constitutes the refereed proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2002, held in Oldenburg, Germany, in September 2002. The 17 revised full papers presented together with 2 invited tutorials and 6 invited papers were carefully reviewed and selected from 39 submissions. The papers are organized in topical sections on synthesis and scheduling, timed automata, bounded model checking, verification and conformance testing, and UML models and model checking
Member of
Cataloging source
COO
Dewey number
004/.33
Illustrations
illustrations
Index
index present
LC call number
QA76.54
LC item number
.F75 2002
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2002
http://bibfra.me/vocab/lite/meetingName
FTRTFT 2002
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorName
  • Damm, Werner
  • Olderog, E.-R
Series statement
Lecture notes in computer science
Series volume
2469
http://library.link/vocab/subjectName
  • Real-time data processing
  • Fault-tolerant computing
  • Fault-tolerant computing
  • Real-time data processing
Label
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, Werner Damm, Ernst-Rüdiger Olderog (eds.)
Instantiates
Publication
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 Tutorials -- UppaaL Implementation Secrets -- Software Hazard and Safety Analysis -- Invited Papers -- Real-Time Operating Systems: Problems and Novel Solutions -- Real-Time UML -- Eager Class Initialization for Java -- Applications of Formal Methods in Biology -- An Overview of Formal Verification for the Time-Triggered Architecture -- Scheduler Modeling Based on the Controller Synthesis Paradigm -- Synthesis and Scheduling -- Component-Based Synthesis of Dependable Embedded Software -- From the Specification to the Scheduling of Time-Dependent Systems -- On Control with Bounded Computational Resources -- Timed Automata I -- Decidability of Safety Properties of Timed Multiset Rewriting -- Extending Timed Automaton and Real-Time Logic to Many-Valued Reasoning -- Fault Diagnosis for Timed Automata -- Bounded Model Checking -- Verification of Timed Automata via Satisfiability Checking -- Take It NP-Easy: Bounded Model Construction for Duration Calculus -- Towards Bounded Model Checking for the Universal Fragment of TCTL -- Verification and Conformance Testing -- A Typed Interrupt Calculus -- Parametric Verification of a Group Membership Algorithm -- A Method for Testing the Conformance of Real Time Systems -- UML Models and Model Checking -- A Probabilistic Extension of UML Statecharts -- Eliminating Queues from RT UML Model Representations -- Model Checking Timed UML State Machines and Collaborations -- Timed Automata II -- Partial Order Path Technique for Checking Parallel Timed Automata -- Constructing Test Automata from Graphical Real-Time Requirements
Control code
50801101
Dimensions
unknown
Extent
1 online resource (x, 453 pages)
Form of item
online
Isbn
9783540457398
Lccn
2002030394
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/3-540-45739-9
Other physical details
illustrations.
Specific material designation
remote
System control number
(OCoLC)50801101
Label
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, Werner Damm, Ernst-Rüdiger Olderog (eds.)
Publication
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 Tutorials -- UppaaL Implementation Secrets -- Software Hazard and Safety Analysis -- Invited Papers -- Real-Time Operating Systems: Problems and Novel Solutions -- Real-Time UML -- Eager Class Initialization for Java -- Applications of Formal Methods in Biology -- An Overview of Formal Verification for the Time-Triggered Architecture -- Scheduler Modeling Based on the Controller Synthesis Paradigm -- Synthesis and Scheduling -- Component-Based Synthesis of Dependable Embedded Software -- From the Specification to the Scheduling of Time-Dependent Systems -- On Control with Bounded Computational Resources -- Timed Automata I -- Decidability of Safety Properties of Timed Multiset Rewriting -- Extending Timed Automaton and Real-Time Logic to Many-Valued Reasoning -- Fault Diagnosis for Timed Automata -- Bounded Model Checking -- Verification of Timed Automata via Satisfiability Checking -- Take It NP-Easy: Bounded Model Construction for Duration Calculus -- Towards Bounded Model Checking for the Universal Fragment of TCTL -- Verification and Conformance Testing -- A Typed Interrupt Calculus -- Parametric Verification of a Group Membership Algorithm -- A Method for Testing the Conformance of Real Time Systems -- UML Models and Model Checking -- A Probabilistic Extension of UML Statecharts -- Eliminating Queues from RT UML Model Representations -- Model Checking Timed UML State Machines and Collaborations -- Timed Automata II -- Partial Order Path Technique for Checking Parallel Timed Automata -- Constructing Test Automata from Graphical Real-Time Requirements
Control code
50801101
Dimensions
unknown
Extent
1 online resource (x, 453 pages)
Form of item
online
Isbn
9783540457398
Lccn
2002030394
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/3-540-45739-9
Other physical details
illustrations.
Specific material designation
remote
System control number
(OCoLC)50801101

Library Locations

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