LEADER 01589nam0 22003493i 450 001 PUV0371143 005 20251003044313.0 010 $a8823804434 100 $a20150715d1998 ||||0itac50 ba 101 | $aita 102 $ait 181 1$6z01$ai $bxxxe 182 1$6z01$an 200 1 $aDistribuzione e tecnologia$ela banca del domani$fUmberto Filotto ... [et al.] 210 $aMilano$cEGEA$d1998 215 $a264 p.$d24 cm. 225 | $aNewfin$fCentro studi sull'innovazione finanziaria dell'Università Bocconi$v25 410 0$1001CFI0169325$12001 $aNewfin$fCentro studi sull'innovazione finanziaria dell'Università Bocconi$v25$171202$aNewfin$c $3CFIV177411 606 $aSERVIZI BANCARI$xINNOVAZIONE TECNOLOGICA$xSAGGI$2FIR$3MILC131177$9I 606 $aServizi bancari$xMarketing$2FIR$3CFIC082016$9E 676 $a332.17$9BANCHE$v21 696 $aMercatistica 699 $aMarketing$yMercatistica 702 1$aFilotto$b, Umberto$3CFIV075682 801 3$aIT$bIT-000000$c20150715 850 $aIT-BN0095 901 $bNAP 01$cPOZZO LIB.$nVi sono collocati fondi di economia, periodici di ingegneria e scienze, periodici di economia e statistica e altri fondi comprendenti documenti di economia pervenuti in dono. 912 $aPUV0371143 950 0$aBiblioteca Centralizzata di Ateneo$c1 v.$d 01POZZO LIB.ECON MON 3645$e 01C 0008004035E VMA 1 v. precedente collocazione DP (EC) 403$fB $h20130409$i20130409 977 $a 01 996 $aDistribuzione e tecnologia$965911 997 $aUNISANNIO LEADER 04376nam 22008055 450 001 9910591039203321 005 20251107173223.0 010 $a9783031150081 010 $a3031150082 024 7 $a10.1007/978-3-031-15008-1 035 $a(MiAaPQ)EBC7080415 035 $a(Au-PeEL)EBL7080415 035 $a(CKB)24779142000041 035 $a(PPN)264952685 035 $a(OCoLC)1343899353 035 $a(DE-He213)978-3-031-15008-1 035 $a(EXLCZ)9924779142000041 100 $a20220811d2022 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aFormal Methods for Industrial Critical Systems $e27th International Conference, FMICS 2022, Warsaw, Poland, September 14?15, 2022, Proceedings /$fedited by Jan Friso Groote, Marieke Huisman 205 $a1st ed. 2022. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2022. 215 $a1 online resource (246 pages) 225 1 $aLecture Notes in Computer Science,$x1611-3349 ;$v13487 311 08$aPrint version: Groote, Jan Friso Formal Methods for Industrial Critical Systems Cham : Springer International Publishing AG,c2022 9783031150074 320 $aIncludes bibliographical references and index. 327 $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. 330 $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. 410 0$aLecture Notes in Computer Science,$x1611-3349 ;$v13487 606 $aCompilers (Computer programs) 606 $aSoftware engineering 606 $aApplication software 606 $aArtificial intelligence 606 $aComputer science 606 $aComputer engineering 606 $aComputer networks 606 $aCompilers and Interpreters 606 $aSoftware Engineering 606 $aComputer and Information Systems Applications 606 $aArtificial Intelligence 606 $aTheory of Computation 606 $aComputer Engineering and Networks 615 0$aCompilers (Computer programs) 615 0$aSoftware engineering. 615 0$aApplication software. 615 0$aArtificial intelligence. 615 0$aComputer science. 615 0$aComputer engineering. 615 0$aComputer networks. 615 14$aCompilers and Interpreters. 615 24$aSoftware Engineering. 615 24$aComputer and Information Systems Applications. 615 24$aArtificial Intelligence. 615 24$aTheory of Computation. 615 24$aComputer Engineering and Networks. 676 $a004.0151 676 $a004.0151 702 $aGroote$b Jan Friso 702 $aHuisman$b Marieke 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910591039203321 996 $aFormal Methods for Industrial Critical Systems$91921860 997 $aUNINA