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

Formal Techniques in Real-Time and Fault-Tolerant Systems 4th International Symposium, Uppsala, Sweden, September 9-13, 1996, Proceedings

Aus der Reihe Lecture Notes in Computer Science

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Lieferung nach Hause

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

21.08.1996

Herausgeber

Bengt Jonsson + weitere

Verlag

Springer Berlin

Seitenzahl

490

Maße (L/B/H)

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

Gewicht

643 g

Auflage

1996

Sprache

Englisch

ISBN

978-3-540-61648-1

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

21.08.1996

Herausgeber

Verlag

Springer Berlin

Seitenzahl

490

Maße (L/B/H)

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

Gewicht

643 g

Auflage

1996

Sprache

Englisch

ISBN

978-3-540-61648-1

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

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
  • On the semantics of group communication.- Unifying verification paradigms.- Formal methods for early fault detection.- Retiming techniques for Statecharts.- Compiling Argos into Boolean equations.- Real-time mode-machines.- A calculus for timed automata.- Minimizable timed automata.- Weak chop inverses and liveness in Mean-Value Calculus.- Synthesizing controllers from Duration Calculus.- Sampling semantics of Duration Calculus.- The production cell: A verified real-time system.- Verification-driven development of a collision-avoidance protocol for the Ethernet.- Exhaustive computation of the scheduled task execution sequences of a real-time application.- Scheduling Data Flow programs in Hard Real-Time environments.- Dynamic scheduling in the presence of faults: Specification and verification.- Efficient broadcasting on faulty star networks.- Model checking for extended timed temporal logics.- Partial orders and verification of real-time systems.- Toward a modal theory of types for the ?-calculus.- Graphical formalization of real-time requirements.- On specifying real-time systems in a causality-based setting.- Verification of embedded systems using synchronous observers.- Compositionality in real-time shared variable concurrency.- Formal analysis of a real-time kernel specification.- Mona: Decidable arithmetic in practice.- Verifying synchronous reactive systems programmed in ESTEREL.- AutoFocus — A tool for distributed systems specification.- A tool for translation of VHDL descriptions into a formal model and its application to formal verification and synthesis.- EVGC: A tool for visualizing LOTOS behavioural specifications.