000 | 04075nam a22006375i 4500 | ||
---|---|---|---|
001 | 978-3-031-15008-1 | ||
003 | DE-He213 | ||
005 | 20240730165331.0 | ||
007 | cr nn 008mamaa | ||
008 | 220811s2022 sz | s |||| 0|eng d | ||
020 |
_a9783031150081 _9978-3-031-15008-1 |
||
024 | 7 |
_a10.1007/978-3-031-15008-1 _2doi |
|
050 | 4 | _aQA76.76.C65 | |
072 | 7 |
_aUMC _2bicssc |
|
072 | 7 |
_aCOM010000 _2bisacsh |
|
072 | 7 |
_aUMC _2thema |
|
082 | 0 | 4 |
_a005.45 _223 |
245 | 1 | 0 |
_aFormal Methods for Industrial Critical Systems _h[electronic resource] : _b27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022, Proceedings / _cedited by Jan Friso Groote, Marieke Huisman. |
250 | _a1st ed. 2022. | ||
264 | 1 |
_aCham : _bSpringer International Publishing : _bImprint: Springer, _c2022. |
|
300 |
_aX, 245 p. 79 illus., 53 illus. in color. _bonline resource. |
||
336 |
_atext _btxt _2rdacontent |
||
337 |
_acomputer _bc _2rdamedia |
||
338 |
_aonline resource _bcr _2rdacarrier |
||
347 |
_atext file _bPDF _2rda |
||
490 | 1 |
_aLecture Notes in Computer Science, _x1611-3349 ; _v13487 |
|
505 | 0 | _aInvited 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. | |
520 | _aThis book constitutes the proceedings of the 27th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2022, which took place in Warsaw, Poland, in September 2022. The 13 full papers included in this book were carefully reviewed and selected from 22 submissions. They were organized in topical sections as follows: Certification; industrial use cases; testing and monitoring; and methodology. | ||
650 | 0 |
_aCompilers (Computer programs). _93350 |
|
650 | 0 |
_aSoftware engineering. _94138 |
|
650 | 0 |
_aApplication software. _988495 |
|
650 | 0 |
_aArtificial intelligence. _93407 |
|
650 | 0 |
_aComputer science. _99832 |
|
650 | 0 |
_aComputer engineering. _910164 |
|
650 | 0 |
_aComputer networks . _931572 |
|
650 | 1 | 4 |
_aCompilers and Interpreters. _931853 |
650 | 2 | 4 |
_aSoftware Engineering. _94138 |
650 | 2 | 4 |
_aComputer and Information Systems Applications. _988498 |
650 | 2 | 4 |
_aArtificial Intelligence. _93407 |
650 | 2 | 4 |
_aTheory of Computation. _988500 |
650 | 2 | 4 |
_aComputer Engineering and Networks. _988501 |
700 | 1 |
_aGroote, Jan Friso. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _988504 |
|
700 | 1 |
_aHuisman, Marieke. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _988505 |
|
710 | 2 |
_aSpringerLink (Online service) _988507 |
|
773 | 0 | _tSpringer Nature eBook | |
776 | 0 | 8 |
_iPrinted edition: _z9783031150074 |
776 | 0 | 8 |
_iPrinted edition: _z9783031150098 |
830 | 0 |
_aLecture Notes in Computer Science, _x1611-3349 ; _v13487 _923263 |
|
856 | 4 | 0 | _uhttps://doi.org/10.1007/978-3-031-15008-1 |
912 | _aZDB-2-SCS | ||
912 | _aZDB-2-SXCS | ||
912 | _aZDB-2-LNC | ||
942 | _cELN | ||
999 |
_c86258 _d86258 |