Formal methods for industrial critical systems : 25th International Conference, FMICS 2020, Vienna, Austria, September 2-3, 2020, Proceedings /: 25th International Conference, FMICS 2020, Vienna, Austria, September 2-3, 2020, Proceedings. (2020)

• Record Type: Book
• Other Titles: FMICS 2020
• Further Information: Note: Maurice H. ter Beek, Dejan Ničković (eds.).
• Other Names: Beek, Maurice H. ter; Ničković, Dejan; FMICS (Conference), 25th
• Contents: FMICS 25th Anniversary -- The 2020 Expert Survey on Formal Methods -- Quantitative Analysis and Cyber-Physical Systems -- Verifiable and Scalable Mission-Plan Synthesis for Autonomous Agents -- Skylines for Symbolic Energy Consumption Analysis -- Formally Verified Timing Computation for Non-deterministic Horizontal Turns During Aircraft Collision Avoidance Maneuvers -- An Actor-based Approach for Security Analysis of Cyber-Physical Systems -- Formal Verification of Industrial Systems Scalable Detection of Ampli cation Timing Anomalies for the Superscalar TriCore Architecture -- A Formally Veri ed Plasma Vertical Position Control Algorithm -- The First Twenty-Five Years of Industrial Use of the B-Method -- A Safety Flasher Developed with the CLEARSY Safety Platform -- Temporal Logic and Model checking -- Formal Verification of OIL Component Specifications Using mCRL2 -- Temporal-Logic Query Checking over Finite Data Streams -- Verification of a Failure Management Protocol for Stateful IoT Applications.
• Publisher Details: Cham, Switzerland : Springer
• Publication Date: 2020
• Extent: 1 online resource
• Subjects: 005.1; Software engineering -- Congresses; Industrial safety -- Data processing -- Congresses; Formal methods (Computer science) -- Congresses; Computer software -- Verification -- Congresses; Computer science; Natural language & machine translation; Expert systems / knowledge-based systems; Software Engineering; Programming & scripting languages: general; Computers -- Computer Science; Computers -- Speech & Audio Processing; Computers -- Expert Systems; Computers -- Software Development & Engineering -- General; Computers -- Programming Languages -- General; Computer software -- Verification; Formal methods (Computer science); Industrial safety -- Data processing; Software engineering; Electronic books; Electronic books; Conference papers and proceedings
• Languages: English
• ISBNs: 9783030582982; 3030582981
• Related ISBNs: 3030582973; 9783030582975
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.