NASA Formal Methods
17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11–13, 2025, Proceedings
Sorozatcím: Lecture Notes in Computer Science; 15682;
-
12% KEDVEZMÉNY?
- A kedvezmény csak az 'Értesítés a kedvenc témákról' hírlevelünk címzettjeinek rendeléseire érvényes.
- Kiadói listaár EUR 139.09
-
57 687 Ft (54 940 Ft + 5% áfa)
Az ár azért becsült, mert a rendelés pillanatában nem lehet pontosan tudni, hogy a beérkezéskor milyen lesz a forint árfolyama az adott termék eredeti devizájához képest. Ha a forint romlana, kissé többet, ha javulna, kissé kevesebbet kell majd fizetnie.
- Kedvezmény(ek) 12% (cc. 6 922 Ft off)
- Kedvezményes ár 50 765 Ft (48 347 Ft + 5% áfa)
Iratkozzon fel most és részesüljön kedvezőbb árainkból!
Feliratkozom
57 687 Ft
Beszerezhetőség
Megrendelésre a kiadó utánnyomja a könyvet. Rendelhető, de a szokásosnál kicsit lassabban érkezik meg.
Why don't you give exact delivery time?
A beszerzés időigényét az eddigi tapasztalatokra alapozva adjuk meg. Azért becsült, mert a terméket külföldről hozzuk be, így a kiadó kiszolgálásának pillanatnyi gyorsaságától is függ. A megadottnál gyorsabb és lassabb szállítás is elképzelhető, de mindent megteszünk, hogy Ön a lehető leghamarabb jusson hozzá a termékhez.
A termék adatai:
- Kiadó Springer Nature Switzerland
- Megjelenés dátuma 2025. június 8.
- Kötetek száma 1 pieces, Book
- ISBN 9783031937057
- Kötéstípus Puhakötés
- Terjedelem442 oldal
- Méret 235x155 mm
- Nyelv angol
- Illusztrációk XIII, 442 p. 107 illus., 71 illus. in color. Illustrations, black & white 668
Kategóriák
Hosszú leírás:
This book constitutes the proceedings of the 17th International Symposium on NASA Formal Methods, NFM 2025, held in Hampton Roads, VA, USA in June 2025.
The 20 full papers and 4 short papers presented in the proceedings were carefully reviewed and selected from 74 submissions. They focus on formal techniques for software and system assurance
for applications in space, aviation, robotics, and other NASA-relevant critical systems.
Több
Tartalomjegyzék:
Enforcing MAVLink Safety & Security Properties Via Refined Multiparty Session Types.- Process-Algebraic Semantics for Verifying Intelligent Robotic Control Software.- Towards a Safe, Verified Runtime Monitor for Embedded Systems: R2U2 in Embedded Rust.- Verification of an Anti-Unification Algorithm in PVS.- Strong Structural Bounds for MaxSAT: The Fine Details of Using Neuromorphic and Quantum Hardware Accelerators.- Vellvm: Formalizing the Informal LLVM (Experience Report).- Eliminating flakiness: deterministic control for validating nondeterministic Asmeta specifications.- Mode-based Reactive Synthesis.- Reusable Formal Verification of DAG-based Consensus Protocols.- A Streamlined, Formal Approach to Requirements-based Testing.- Formally Proving Invariant Systemic Properties of Control Programs Using Ghost Code and Integral Quadratic Constraints.- Querying Labeled Time Series Data with Scenario Programs.- Formal Verification as a Service: A CERN-GSI Case Study.- Formal Verification of Composite Field Multipliers for Information-Theoretically Secure Radio Communication in Spacecraft Control.- Rare Event Simulation for Stochastic Hybrid Systems using Symbolic Importance Functions.- Algorithmic Analysis of Event-B in Rewriting Logic.- HyTwin: A Formal Semantics for Digital Twin Interventions in ICS Based on Time-to-Violation.- Language Partitioning for Mission-time Linear Temporal Logic.- Visualizing Temporal Interval Hierarchies.- Mechanized RS274 semantics for additive manufacturing.- An SMT Formalization of Mixed-Precision Matrix Multiplication (Modeling Three Generations of Tensor Cores).- TRACE: Toolkit for Requirements Analysis, Capture, and Elicitation.- Extending Dynamic Logics with First-Class Relational Reasoning.- Automata Size Reduction by Procedure Finding.
Több
