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
Member of
Cataloging source
DLC
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
bibliography
http://library.link/vocab/relatedWorkOrContributorName
  • Damm, Werner
  • Olderog, E.-R
http://library.link/vocab/subjectName
  • Real-time data processing
  • Fault-tolerant computing
  • ARQUITETURA E ORGANIZAÇÃO DE COMPUTADORES
  • ESPECIFICAÇÃO DE PROGRAMAS E SISTEMAS
  • LINGUAGEM DE PROGRAMAÇÃO
  • Temps réel
  • Tolérance aux fautes (Informatique)
  • Fault-tolerant computing
  • Real-time data processing
  • LINGUAGEM DE PROGRAMAÇÃO
  • ESPECIFICAÇÃO DE PROGRAMAS E SISTEMAS
  • ARQUITETURA E ORGANIZAÇÃO DE COMPUTADORES
  • Echtzeitsystem
  • Eingebettetes System
  • Fehlertoleranz
  • Formale Methode
  • Kongress
  • Model Checking
  • Requirements engineering
  • Softwareentwicklung
  • Temporale Logik
  • Verifikation
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
volume
Carrier category code
  • nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
Uppaal Implementation Secrets / Gerd Behrmann, Johan Bengtsson, Alexandre David, Kim G. Larsen, Paul Pettersson and Wang Yi -- Software Hazard and Safety Analysis / John McDermid -- Real-Time Operating Systems: Problems and Novel Solutions / Giorgio Buttazzo -- Real-Time UML / Bruce Powel Douglass -- Eager Class Initialization for Java / Dexter Kozen and Matt Stillerman -- Applications of Formal Methods in Biology / Amir Pnueli -- An Overview of Formal Verification for the Time-Triggered Architecture / John Rushby -- Scheduler Modeling Based on the Controller Synthesis Paradigm / Joseph Sifakis -- Component-Based Synthesis of Dependable Embedded Software / Arshad Jhumka, Martin Hiller and Neeraj Suri -- From the Specification to the Scheduling of Time-Dependent Systems / Christophe Lohr and Jean-Pierre Courtiat -- On Control with Bounded Computational Resources / Oded Maler, Bruce H. Krogh and Moez Mahfoudh -- Decidability of Safety Properties of Timed Multiset Rewriting / Mitsuharu Yamamoto, Jean-Marie Cottin and Masami Hagiya -- Extending Timed Automaton and Real-Time Logic to Many-Valued Reasoning / Ana Fernandez Vilas, Jose J. Pazos Arias and Rebeca P. Diaz Redondo -- Fault Diagnosis for Timed Automata / Stavros Tripakis -- Verification of Timed Automata via Satisfiability Checking / Peter Niebert, Moez Mahfoudh, Eugene Asarin, Marius Bozga, Oded Maler and Navendu Jain -- Take It NP-Easy: Bounded Model Construction for Duration Calculus / Martin Franzle -- Towards Bounded Model Checking for the Universal Fragment of TCTL / Wojciech Penczek, Bozena Wozna and Andrzej Zbrzezny -- A Typed Interrupt Calculus / Jens Palsberg and Di Ma -- Parametric Verification of a Group Membership Algorithm / Ahmed Bouajjani and Agathe Merceron -- A Method for Testing the Conformance of Real Time Systems / Ahmed Khoumsi -- A Probabilistic Extension of UML Statecharts / David N. Jansen, Holger Hermanns and Joost-Pieter Katoen -- Eliminating Queues from RT UML Model Representations / Werner Damm and Bengt Jonsson -- Model Checking -- Timed UML State Machines and Collaborations / Alexander Knapp, Stephan Merz and Christopher Rauh -- Partial Order Path Technique for Checking Parallel Timed Automata / Jianhua Zhao, He Xu, Xuandong Li, Tao Zheng and Guoliang Zheng -- Constructing Test Automata from Graphical Real-Time Requirements / Henning Dierks and Marc Lettrari
Dimensions
24 cm.
Dimensions
unknown
Extent
x, 453 pages
Isbn
9783540441656
Lccn
2002030394
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
Other physical details
illustrations
Specific material designation
remote
System control number
  • (OCoLC)50334058
  • (OCoLC)ocm50334058
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
volume
Carrier category code
  • nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
Uppaal Implementation Secrets / Gerd Behrmann, Johan Bengtsson, Alexandre David, Kim G. Larsen, Paul Pettersson and Wang Yi -- Software Hazard and Safety Analysis / John McDermid -- Real-Time Operating Systems: Problems and Novel Solutions / Giorgio Buttazzo -- Real-Time UML / Bruce Powel Douglass -- Eager Class Initialization for Java / Dexter Kozen and Matt Stillerman -- Applications of Formal Methods in Biology / Amir Pnueli -- An Overview of Formal Verification for the Time-Triggered Architecture / John Rushby -- Scheduler Modeling Based on the Controller Synthesis Paradigm / Joseph Sifakis -- Component-Based Synthesis of Dependable Embedded Software / Arshad Jhumka, Martin Hiller and Neeraj Suri -- From the Specification to the Scheduling of Time-Dependent Systems / Christophe Lohr and Jean-Pierre Courtiat -- On Control with Bounded Computational Resources / Oded Maler, Bruce H. Krogh and Moez Mahfoudh -- Decidability of Safety Properties of Timed Multiset Rewriting / Mitsuharu Yamamoto, Jean-Marie Cottin and Masami Hagiya -- Extending Timed Automaton and Real-Time Logic to Many-Valued Reasoning / Ana Fernandez Vilas, Jose J. Pazos Arias and Rebeca P. Diaz Redondo -- Fault Diagnosis for Timed Automata / Stavros Tripakis -- Verification of Timed Automata via Satisfiability Checking / Peter Niebert, Moez Mahfoudh, Eugene Asarin, Marius Bozga, Oded Maler and Navendu Jain -- Take It NP-Easy: Bounded Model Construction for Duration Calculus / Martin Franzle -- Towards Bounded Model Checking for the Universal Fragment of TCTL / Wojciech Penczek, Bozena Wozna and Andrzej Zbrzezny -- A Typed Interrupt Calculus / Jens Palsberg and Di Ma -- Parametric Verification of a Group Membership Algorithm / Ahmed Bouajjani and Agathe Merceron -- A Method for Testing the Conformance of Real Time Systems / Ahmed Khoumsi -- A Probabilistic Extension of UML Statecharts / David N. Jansen, Holger Hermanns and Joost-Pieter Katoen -- Eliminating Queues from RT UML Model Representations / Werner Damm and Bengt Jonsson -- Model Checking -- Timed UML State Machines and Collaborations / Alexander Knapp, Stephan Merz and Christopher Rauh -- Partial Order Path Technique for Checking Parallel Timed Automata / Jianhua Zhao, He Xu, Xuandong Li, Tao Zheng and Guoliang Zheng -- Constructing Test Automata from Graphical Real-Time Requirements / Henning Dierks and Marc Lettrari
Dimensions
24 cm.
Dimensions
unknown
Extent
x, 453 pages
Isbn
9783540441656
Lccn
2002030394
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
Other physical details
illustrations
Specific material designation
remote
System control number
  • (OCoLC)50334058
  • (OCoLC)ocm50334058

Library Locations

  • African Studies LibraryBorrow it
    771 Commonwealth Avenue, 6th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Alumni Medical LibraryBorrow it
    72 East Concord Street, Boston, MA, 02118, US
    42.336388 -71.072393
  • Astronomy LibraryBorrow it
    725 Commonwealth Avenue, 6th Floor, Boston, MA, 02445, US
    42.350259 -71.105717
  • Fineman and Pappas Law LibrariesBorrow it
    765 Commonwealth Avenue, Boston, MA, 02215, US
    42.350979 -71.107023
  • Frederick S. Pardee Management LibraryBorrow it
    595 Commonwealth Avenue, Boston, MA, 02215, US
    42.349626 -71.099547
  • Howard Gotlieb Archival Research CenterBorrow it
    771 Commonwealth Avenue, 5th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Mugar Memorial LibraryBorrow it
    771 Commonwealth Avenue, Boston, MA, 02215, US
    42.350723 -71.108227
  • Music LibraryBorrow it
    771 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Pikering Educational Resources LibraryBorrow it
    2 Silber Way, Boston, MA, 02215, US
    42.349804 -71.101425
  • School of Theology LibraryBorrow it
    745 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350494 -71.107235
  • Science & Engineering LibraryBorrow it
    38 Cummington Mall, Boston, MA, 02215, US
    42.348472 -71.102257
  • Stone Science LibraryBorrow it
    675 Commonwealth Avenue, Boston, MA, 02445, US
    42.350103 -71.103784
Processing Feedback ...