001476142 000__ 05650cam\\22006497i\4500
001476142 001__ 1476142
001476142 003__ OCoLC
001476142 005__ 20231003174634.0
001476142 006__ m\\\\\o\\d\\\\\\\\
001476142 007__ cr\un\nnnunnun
001476142 008__ 230823s2023\\\\sz\a\\\\o\\\\\011\0\eng\d
001476142 019__ $$a1394115191$$a1394118894
001476142 020__ $$a9783031401329$$q(electronic bk.)
001476142 020__ $$a3031401328$$q(electronic bk.)
001476142 020__ $$z9783031401312
001476142 020__ $$z303140131X
001476142 0247_ $$a10.1007/978-3-031-40132-9$$2doi
001476142 035__ $$aSP(OCoLC)1394998471
001476142 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dEBLCP$$dYDX$$dOCLCQ
001476142 049__ $$aISEA
001476142 050_4 $$aQA76.9.F67
001476142 08204 $$a004.01/51$$223/eng/20230823
001476142 24500 $$aApplicable formal methods for safe industrial products :$$bessays dedicated to Jan Peleska on the occasion of his 65th birthday /$$cAnne E. Haxthausen, Wen-ling Huang, Markus Roggenbach, editors.
001476142 264_1 $$aCham, Switzerland :$$bSpringer,$$c2023.
001476142 300__ $$a1 online resource (xiv, 334 pages) :$$billustrations (some color).
001476142 336__ $$atext$$btxt$$2rdacontent
001476142 337__ $$acomputer$$bc$$2rdamedia
001476142 338__ $$aonline resource$$bcr$$2rdacarrier
001476142 4901_ $$aLecture notes in computer science,$$x1611-3349 ;$$v14165
001476142 500__ $$aIncludes author index.
001476142 5050_ $$aLaudatio -- Jan Peleska - the Admirable Expert in Applicable Formal Methods for Safe Industrial Products -- Testing -- On Testing Ethical Autonomous Decision-Making -- Bringing RoboStar and RT-Tester together -- Implementation Relations for Distributed Testing -- Conformance Relations between Input/Output Languages -- On Scenario-Based Testing of Cyber-Physical Systems -- Railway Verification and Safety & Security -- Safety vs. Security { Why Separation of Concerns is a Good Strategy for Safety-Critical Systems -- Decomposing the Verification of Interlocking Systems -- Pattern-based risk identification for model-based risk management -- A Journey through Software Model Checking of Interlocking Programs -- Formal Modelling to Improve Safety and Security -- Intelligent Systems and Cyber-Physical Systems -- Time for Traffic Manoeuvres -- Safer than Perception: Assuring Confidence in Safety-Critical Decisions of Automated Vehicles -- Supervision of Intelligent Systems: An Overview -- Fault Injection in Co-simulation and Digital Twins for Cyber-Physical Robotic Systems -- Towards A Unifying Framework for Uncertainty in Cyber-Physical Systems -- Tools and Techniques for Specification, Verification and Code Generation -- Source-Code-to-Object-Code Traceability Analysis for Airborne Software: A Case for Tool Support -- Space Telemetry Analysis with PyContract -- An Intermediate Language-based Approach to Implementing and Verifying Communicating UML State Machines -- Polynomial Formal Verification of Complex Circuits using a Hybrid Proof Engine -- Debugging Frame Conditions.
001476142 506__ $$aAccess limited to authorized users.
001476142 520__ $$aThis Festschrift, dedicated to Jan Peleska on the occasion of his 65th birthday, contains papers written by many of his closest collaborators in academic and industry research. After studying mathematics at the University of Hamburg, Jan worked with Philips and Deutsche System-Technik on fault-tolerant systems, distributed systems, database systems, and safety-critical embedded systems. Since 1994 he has worked as a consultant to industry, specializing in development methods, verification, validation and test of safety-critical systems, and since 1995 he has been a Professor of Computer Science at the University of Bremen. In his research he has been most interested in the combination and application of existing methods and corresponding tools to real-world problems, particularly in the field of safety-critical embedded systems and distributed systems, including avionics and railway control systems. The papers in this volume reflect those interests, and the impact he has had on colleagues and collaborators. The volume is structured into sections on testing; railway verification and safety & security; intelligent systems and cyber-physical systems; and tools and techniques for specification, verification and code generation.
001476142 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed August 23, 2023).
001476142 650_0 $$aFormal methods (Computer science)
001476142 650_0 $$aIndustrial engineering$$xData processing.
001476142 655_0 $$aElectronic books.
001476142 7001_ $$aPeleska, Jan,$$ehonouree.
001476142 7001_ $$aHaxthausen, Anne E.,$$eeditor.$$1https://orcid.org/0000-0001-7349-8872
001476142 7001_ $$aHuang, Wen-ling,$$eeditor.
001476142 7001_ $$aRoggenbach, Markus,$$eeditor.$$1https://orcid.org/0000-0002-3819-2787
001476142 77608 $$iPrint version:$$aHaxthausen, Anne E.$$tApplicable Formal Methods for Safe Industrial Products$$dCham : Springer International Publishing AG,c2023$$z9783031401312
001476142 830_0 $$aLecture notes in computer science ;$$v14165.$$x1611-3349
001476142 852__ $$bebk
001476142 85640 $$3Springer Nature$$uhttps://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-031-40132-9$$zOnline Access$$91397441.1
001476142 909CO $$ooai:library.usi.edu:1476142$$pGLOBAL_SET
001476142 980__ $$aBIB
001476142 980__ $$aEBOOK
001476142 982__ $$aEbook
001476142 983__ $$aOnline
001476142 994__ $$a92$$bISE