Vor Ort
Merkzettel Warenkorb

Gutscheinbedingungen

**Gültig bis 06.07.2026 auf fremdsprachige Bücher online auf thalia.at, in der Thalia App ab einem Mindestbestellwert von 30€ und in allen Thalia Buchhandlungen in Österreich. In den Buchhandlungen nur gültig auf lagernde Ware. Einzelne Artikel können ausgeschlossen sein. Ausgenommen sind preisgebundene Artikel & eBooks. Pro Einkauf einmal einlösbar. Nur gültig gegen Vorlage oder im Onlineshop hinterlegter Bonuscard. Infos zur Einlösung in der Buchhandlung sind auf der Bonuscard-Vorteilspreisseite zu finden. Click & Collect nur bei Onlinevorabzahlung möglich. Keine Einlösung bei Scan & Go-Bezahlung. Keine Barauszahlung. Nicht kombinierbar mit anderen Aktionen und Gutscheinen. Gutschein wird auf max. 500€ Bestellwert angerechnet. Nicht gültig für Versandkosten und Services.
  • Produktbild: Formal Methods and Software Engineering
  • Produktbild: Formal Methods and Software Engineering
Band 15394 - 20%

Formal Methods and Software Engineering 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2–6, 2024, Proceedings

Aus der Reihe Lecture Notes in Computer Science
20% sparen

65,99 € UVP 82,49 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

29.11.2024

Herausgeber

Kazuhiro Ogata + weitere

Verlag

Springer Singapore

Seitenzahl

410

Maße (L/B/H)

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

Gewicht

639 g

Auflage

1. Auflage

Sprache

Englisch

ISBN

978-981-9606-16-0

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

29.11.2024

Herausgeber

Verlag

Springer Singapore

Seitenzahl

410

Maße (L/B/H)

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

Gewicht

639 g

Auflage

1. Auflage

Sprache

Englisch

ISBN

978-981-9606-16-0

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 Methods and Software Engineering
  • Produktbild: Formal Methods and Software Engineering

  • .- NL2CTL: Automatic Generation of Formal Requirements Specifications via Large Language Models.

    .- Repairing Event-B Models through Quantifier Elimination.

    .- Tuning Trains Speed in Railway Scheduling.

    .- The Bright Side of Timed Opacity.

    .- Clock-Dependent Probabilistic Timed Automata with One Clock and No Memory.

    .- Efficient State Estimation of Discrete-Timed Automata.

    .- LRNN: A Formal Logic Rules-Based Neural Network for Software Defect Prediction.

    .- Quantitative Symbolic Robustness Verification for Quantized Neural Networks.

    .- Graph Convolutional Network Robustness Verification Algorithm Based on Dual Approximation.

    .- Formal Kinematic Analysis of Epicyclic Bevel Gear Trains.

    .- Deciding the synthesis problem for hybrid games through bisimulation.

    .- Formal Analysis of FreeRTOS Scheduler on ARM Cortex-M4 Cores.

    .- Differential Property Monitoring for Backdoor Detection.

    .- MemSpate: Memory Usage Protocol Guided Fuzzing.

    .- The Continuum Hypothesis Implies the Existence of Non-Principal Arithmetical Ultrafilters - A Coq Formal Verification.

    .- Observability of Boolean Control Networks: New Definition and Verification Algorithm.

    .- Formalizing Potential Flows using the HOL Light Theorem Prover.

    .- On-the-Fly Proof-Based Verification of Reachability in Autonomous Vehicle Controllers Relying on Goal-Aware RSS.

    .- Efficient SMT-Based Model Checking for HyperTWTL.

    .- A Tableau-based Approach to Model Checking Linear Temporal Properties.

    .- Simple LTL Model Checking on Finite and Infinite Traces over Concrete Domains.

    .- Model Checking Concurrency in Smart Contracts with a Case Study of Safe Remote Purchase.