KI-Beratung Beta
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 571

Formal Techniques in Real-Time and Fault-Tolerant Systems Second International Symposium, Nijmegen, The Netherlands, January 8-10, 1992. Proceedings

Aus der Reihe Lecture Notes in Computer Science

97,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

11.12.1991

Abbildungen

XII, 628 p.

Herausgeber

Jan Vytopil

Verlag

Springer Berlin

Seitenzahl

628

Maße (L/B/H)

23,5/15,5/3,5 cm

Gewicht

955 g

Auflage

1991

Sprache

Englisch

ISBN

978-3-540-55092-1

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

11.12.1991

Abbildungen

XII, 628 p.

Herausgeber

Jan Vytopil

Verlag

Springer Berlin

Seitenzahl

628

Maße (L/B/H)

23,5/15,5/3,5 cm

Gewicht

955 g

Auflage

1991

Sprache

Englisch

ISBN

978-3-540-55092-1

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
  • ISL: An interval logic for the specification of real-time programs.- Duration specifications for shared processors.- A compositional semantics for fault-tolerant real-time systems.- Modelling real-time behavior with an interval time calculus.- Multicycles and RTL logic satisfiability.- Voluntary preemption: A tool in the design of hard real-time systems.- Observing task preemption in Ada 9X.- Real-time scheduling by queue automata.- Broadcast communication for real-time processes.- Analysis of timeliness requirements in safety-critical systems.- Verification of a reliable net protocol.- Mechanical verification of a generalized protocol for Byzantine fault tolerant clock synchronization.- Formal specification and verification of a fault-masking and transient-recovery model for digital flight-control systems.- On fault-tolerant symbolic computations.- Temporal logic applied to reliability modelling of fault-tolerant systems.- Specifying asynchronous transfer of control.- Protocol design by layered decomposition.- Scheduling in Real-Time Models.- A temporal approach to requirements specification of real-time systems.- RLucid, a general real-time dataflow language.- A mechanized theory for the verification of real-time program code using higher order logic.- Specification and verification of real-time behaviour using Z and RTL.- TAM: A formal framework for the development of distributed real-time systems.- An attempt to confront asynchronous reality to synchronous modelization in the ESTEREL language.- The real-time behaviour of asynchronously communicating processes.- Asynchronous communication in real space process algebra.- Translating timed process algebra into prioritized process algebra.- Operational semantics for timed observations.- Real-timed concurrent refineablebehaviours.- Stepwise development of model-oriented real-time specifications from action/event models.- Formal specification of fault tolerant real time systems using minimal 3-sorted modal logic.- Timed and Hybrid Statecharts and their textual representation.