KI-Beratung Beta
Vor Ort
Merkzettel Warenkorb

Gutscheinbedingungen

Gültig bis 11.11.2026 | Gültig für Spielzeug, Filme, Musik, Software, Games, Geschenke & Trends, Schreibwaren, Hörbücher und Hörbuch-Downloads (außer Abo & Shelfies), gebrauchte Bücher, nicht preisgebundene Bücher und Kalender | Einlösbar unter thalia.de und in der Thalia App | Click & Collect nur mit Online-Zahlung (Paypal/Kreditkarte) vorab | Einzelne Artikel können ausgeschlossen sein | Nicht kombinierbar mit anderen Gutscheinen oder Preisaktionen | Nur einmal pro Einkauf einlösbar | Gutschein wird auf max. 500€ Bestellwert angerechnet | Keine Barauszahlung | Digitale Hörbücher nur für Android  | Nicht gültig für preisgebundene Artikel (aufgrund der Buchpreisbindung sind Gutscheine nicht auf Bücher, eBooks, Presse einlösbar), tolino eReader & Zubehör, Abonnements & Flatrates, Geschenkkarten, Versandkosten und Services
  • 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

Ein neues Kapitel für Ihre Bücher

Ein neues Kapitel für Ihre Bücher

Schenken Sie Ihren alten Schätzen ein zweites Leben und erhalten Sie dafür eine Thalia Geschenkkarte.

Jetzt verkaufen
Jetzt verkaufen

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.