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 1486

Formal Techniques in Real-Time and Fault-Tolerant Systems 5th International Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings

Aus der Reihe Lecture Notes in Computer Science

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

02.09.1998

Abbildungen

IX, 347 p.

Herausgeber

Anders P. Ravn + weitere

Verlag

Springer Berlin

Seitenzahl

347

Maße (L/B/H)

23,5/15,5/2 cm

Gewicht

540 g

Auflage

1998

Sprache

Englisch

ISBN

978-3-540-65003-4

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

02.09.1998

Abbildungen

IX, 347 p.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

347

Maße (L/B/H)

23,5/15,5/2 cm

Gewicht

540 g

Auflage

1998

Sprache

Englisch

ISBN

978-3-540-65003-4

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
  • Challenges in the utilization of formal methods.- On the need for practical formal methods.- A general framework for the composition of timed systems.- Operational and logical semantics for polling real-time systems.- A finite-domain semantics for testing temporal logic specifications.- Duration Calculus of Weakly Monotonic Time.- Reuse in requirements engineering: Discovery and application of a real-time requirement pattern.- A modular visual model for hybrid systems.- Integrating real-time structured design and formal techniques.- Duration Calculus in the specification of safety requirements.- Automated stream-based analysis of fault-tolerance.- Designing a provably correct robt control system using a ‘lean’ formal method.- Static analysis to identify invariants in RSML specifications.- Partition refinement in real-time model checking.- Formal verification of stabilizing systems.- Synchronizing clocked transition systems.- Some decidability results for duration calculus under synchronous interpretation.- Fair synchronous transition systems and their liveness proofs.- Dynamical properties of timed automata.- An algorithm for the approximative analysis of rectangular automata.- On checking parallel real-time systems for linear duration properties.- A practical and complete algorithm for testing real-time systems.- Mechanical verification of clock synchronization algorithms.- Compiling graphical real-time specifications into silicon.- Towards a formal semantics of verilog using duration calculus.- The ICOS synthesis environment.- Kronos: A model-checking tool for real-time systems.- SGLOT: A visual tool for structural LOTOS specifications.- Discrete-time Promela and Spin.- Moby/PLC — Graphical development of PLC-automata.- Predictability in critical systems.