ISBN13: | 9783031150074 |
ISBN10: | 3031150074 |
Kötéstípus: | Puhakötés |
Terjedelem: | 245 oldal |
Méret: | 235x155 mm |
Súly: | 397 g |
Nyelv: | angol |
Illusztrációk: | 26 Illustrations, black & white; 53 Illustrations, color |
528 |
Programszerkesztő és -fordító eszközök (Compilers and Interpreters)
Magasszintű programnyelvek
Programnyelvek általában
Programszerkesztő és -fordító eszközök (Compilers and Interpreters) (karitatív célú kampány)
Magasszintű programnyelvek (karitatív célú kampány)
Programnyelvek általában (karitatív célú kampány)
Formal Methods for Industrial Critical Systems
EUR 74.89
Kattintson ide a feliratkozáshoz
A Prosperónál jelenleg nincsen raktáron.
Invited Keynote Talks.- Reinforcement Learning with Guarantees That Hold for Ever.- Supporting Railway Innovations with Formal Modelling and Verification.- Certification.- Formal Monotony Analysis of Neural Networks with Mixed Inputs: An asset for certification.- Generating Domain-specific Interactive Validation Documents.- Deductive Verification of Smart Contracts with Dafny.- Industrial use cases.- Towards Reusable Formal Models for Custom Real-time Operating Systems.- Formal verification of an industrial UML-like model using mCRL2.- Chemical Case Studies in KeYmaera X.- Analysing Capacity Bottlenecks in Rail Infrastructure by Episode Mining.- Testing and monitoring.- Test Suite Augmentation for Recon gurable PLC Software in the Internet of Production.- Monitoring of Spatio-Temporal Properties with nonlinear SAT solvers.- Model-Based Testing of Internet of Things Protocols.- Methodology.- Formally Verifying Decompositions of Stochastic Specifications.- Verification of Behavior Trees using Linear Constrained Horn Clauses.- A Multi-level Methodology for Behavioral Comparison of SoftwareIntensive Systems.