Vor Ort
Merkzettel Warenkorb
  • Produktbild: Formal Techniques in Real-Time and Fault-Tolerant Systems
  • Produktbild: Formal Techniques in Real-Time and Fault-Tolerant Systems
Band 2469

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

Aus der Reihe Lecture Notes in Computer Science

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

28.08.2002

Abbildungen

X, 462 p.

Herausgeber

Werner Damm + weitere

Verlag

Springer Berlin

Seitenzahl

462

Maße (L/B/H)

23,5/15,5/2,6 cm

Gewicht

709 g

Auflage

2002

Sprache

Englisch

ISBN

978-3-540-44165-6

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

28.08.2002

Abbildungen

X, 462 p.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

462

Maße (L/B/H)

23,5/15,5/2,6 cm

Gewicht

709 g

Auflage

2002

Sprache

Englisch

ISBN

978-3-540-44165-6

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Formal Techniques in Real-Time and Fault-Tolerant Systems
  • Produktbild: Formal Techniques in Real-Time and Fault-Tolerant Systems
  • 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.