Overview

Full Product Details

Author:   Shaoying Liu
Publisher:   Springer Nature Switzerland AG
Imprint:   Springer Nature Switzerland AG
Volume:   15393
ISBN:  

9789819616206

ISBN 10:   9819616204
Pages:   294
Publication Date:   25 February 2025
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   Manufactured on demand  
We will order this item for you from a manufactured on demand supplier.

Table of Contents

.- Some Achievements of the International Joint Research Project ”Formal Analysis and Verification of Post-quantum Cryptographic Protocols”. .- Developing the industrial-strength tools for modeling, testing and verification: A formal-methods perspective. .- A Methodology for Rating Maintainability Metrics of SOFL Formal Specifications. .- An Executable Operational Semantics of Quantum Programs and Its Application. .- Automated Software Test Input Generation with Diffusion Models. .- Blockchain Solutions for Cash-on-Delivery: Utilizing Encrypted NFTs, Smart Contracts, and IPFS Technology. .- Revolutionizing Animal Health Privacy: Blockchain and Encrypted NFTs. .- Improving and Evaluating Sparse Decision-Based Black-Box Attacks and Defenses. .- Recovery of Trace Links Between a SOFL Formal Specification and its Corresponding Incomplete Java Code. .- S3DA: A 3D point cloud based PCB solder defect detection algorithm. .- Consistency Naming between Requirements Analysis and Specifications. .- A Framework for Standardized Partitioning Analysis in Integrated Modular Avionics Systems. .- A Common Declarative Language for UML State Machine Representation, Model Transformation, and Interoperability of Visualization Tools. .- The Three-point Optimization Algorithm:A novel Physics-based metaheuristic approach. .- Generating Simulink Models from Hybridised Event-B Models. .- Formal Specification and Model Checking of a Synchronous Leader Election Protocol in Maude. .- Relational Denotational and Algebraic Semantics Based on UTP. .- ASTD Patterns for Integrated Continuous Anomaly Detection In Data Logs. .- Towards a Novel Approach to Railway Safety using STPA and Promise Theory. .- Functional Modelling of the Matroid and Application to the Knapsack Problem.

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions