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.)
Resource Information
The item 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.) represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Missouri Libraries.This item is available to borrow from 1 library branch.
Resource Information
The item 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.) represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Missouri Libraries.
This item is available to borrow from 1 library branch.
- 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
- Language
- eng
- Extent
- 1 online resource (x, 453 pages)
- 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
- Isbn
- 9783540457398
- 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.)
- 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
- 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.)
- 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.)
- 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 Links
Embed
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.library.missouri.edu/portal/Formal-techniques-in-real-time-and-fault-tolerant/Blo8VSKmGdQ/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/portal/Formal-techniques-in-real-time-and-fault-tolerant/Blo8VSKmGdQ/">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.)</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data - Experimental
Data Citation of the Item 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.)
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.library.missouri.edu/portal/Formal-techniques-in-real-time-and-fault-tolerant/Blo8VSKmGdQ/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/portal/Formal-techniques-in-real-time-and-fault-tolerant/Blo8VSKmGdQ/">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.)</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>
