Welcome to the Library Catalog of "Dunarea de Jos" University of Galati

Formal Methods and Software Engineering (Record no. 65312)

MARC details
000 -LEADER
fixed length control field 05001nam a22006495i 4500
001 - CONTROL NUMBER
control field 978-981-96-0617-7
003 - CONTROL NUMBER IDENTIFIER
control field DE-He213
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20251030114551.0
007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION
fixed length control field cr nn 008mamaa
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 241129s2024 si | s |||| 0|eng d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9789819606177
-- 978-981-96-0617-7
024 7# - OTHER STANDARD IDENTIFIER
Standard number or code 10.1007/978-981-96-0617-7
Source of number or code doi
050 #4 - LIBRARY OF CONGRESS CALL NUMBER
Classification number QA75.5-76.95
072 #7 - SUBJECT CATEGORY CODE
Subject category code UYA
Source bicssc
072 #7 - SUBJECT CATEGORY CODE
Subject category code COM014000
Source bisacsh
072 #7 - SUBJECT CATEGORY CODE
Subject category code UYA
Source thema
245 10 - TITLE STATEMENT
Title Formal Methods and Software Engineering
Medium [electronic resource] :
Remainder of title 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2–6, 2024, Proceedings /
Statement of responsibility, etc. edited by Kazuhiro Ogata, Dominique Mery, Meng Sun, Shaoying Liu.
250 ## - EDITION STATEMENT
Edition statement 1st ed. 2024.
264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE
Place of production, publication, distribution, manufacture Singapore :
Name of producer, publisher, distributor, manufacturer Springer Nature Singapore :
-- Imprint: Springer,
Date of production, publication, distribution, manufacture, or copyright notice 2024.
300 ## - PHYSICAL DESCRIPTION
Extent XII, 410 p. 103 illus., 70 illus. in color.
Other physical details online resource.
336 ## - CONTENT TYPE
Content type term text
Content type code txt
Source rdacontent
337 ## - MEDIA TYPE
Media type term computer
Media type code c
Source rdamedia
338 ## - CARRIER TYPE
Carrier type term online resource
Carrier type code cr
Source rdacarrier
347 ## - DIGITAL FILE CHARACTERISTICS
File type text file
Encoding format PDF
Source rda
490 1# - SERIES STATEMENT
Series statement Lecture Notes in Computer Science,
International Standard Serial Number 1611-3349 ;
Volume/sequential designation 15394
505 0# - FORMATTED CONTENTS NOTE
Formatted contents note -- NL2CTL: Automatic Generation of Formal Requirements Specifications via Large Language Models. -- Repairing Event-B Models through Quantifier Elimination. -- Tuning Trains Speed in Railway Scheduling. -- The Bright Side of Timed Opacity. -- Clock-Dependent Probabilistic Timed Automata with One Clock and No Memory. -- Efficient State Estimation of Discrete-Timed Automata. -- LRNN: A Formal Logic Rules-Based Neural Network for Software Defect Prediction. -- Quantitative Symbolic Robustness Verification for Quantized Neural Networks. -- Graph Convolutional Network Robustness Verification Algorithm Based on Dual Approximation. -- Formal Kinematic Analysis of Epicyclic Bevel Gear Trains. -- Deciding the synthesis problem for hybrid games through bisimulation. -- Formal Analysis of FreeRTOS Scheduler on ARM Cortex-M4 Cores. -- Differential Property Monitoring for Backdoor Detection. -- MemSpate: Memory Usage Protocol Guided Fuzzing. -- The Continuum Hypothesis Implies the Existence of Non-Principal Arithmetical Ultrafilters – A Coq Formal Verification. -- Observability of Boolean Control Networks: New Definition and Verification Algorithm. -- Formalizing Potential Flows using the HOL Light Theorem Prover. -- On-the-Fly Proof-Based Verification of Reachability in Autonomous Vehicle Controllers Relying on Goal-Aware RSS. -- Efficient SMT-Based Model Checking for HyperTWTL. -- A Tableau-based Approach to Model Checking Linear Temporal Properties. -- Simple LTL Model Checking on Finite and Infinite Traces over Concrete Domains. -- Model Checking Concurrency in Smart Contracts with a Case Study of Safe Remote Purchase.
520 ## - SUMMARY, ETC.
Summary, etc. This volume LNCS 15394 constitutes the refereed proceedings of 25th International Conference on Formal Engineering Methods, ICFEM 2024, in Hiroshima, Japan, in December 2024. The 22 full papers presented were carefully reviewed and selected from 50 submissions. The conference focuses on wide range of research areas, covering both theoretical foundations and practical applications of formal engineering methods.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element
9 (RLIN) 58552
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element
9 (RLIN) 33953
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element
9 (RLIN) 66172
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element
9 (RLIN) 65131
650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element
9 (RLIN) 67552
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element
9 (RLIN) 65517
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element
9 (RLIN) 33953
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element
9 (RLIN) 66173
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element
9 (RLIN) 66164
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Ogata, Kazuhiro.
Relator term editor.
Authority record control number (orcid)0000-0002-4441-3259
-- https://orcid.org/0000-0002-4441-3259
Relator code edt
-- http://id.loc.gov/vocabulary/relators/edt
9 (RLIN) 81716
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Mery, Dominique.
Relator term editor.
Authority record control number (orcid)0000-0001-5231-6611
-- https://orcid.org/0000-0001-5231-6611
Relator code edt
-- http://id.loc.gov/vocabulary/relators/edt
9 (RLIN) 88247
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Sun, Meng.
Relator term editor.
Relator code edt
-- http://id.loc.gov/vocabulary/relators/edt
9 (RLIN) 83936
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Liu, Shaoying.
Relator term editor.
Authority record control number (orcid)0000-0002-6748-5052
-- https://orcid.org/0000-0002-6748-5052
Relator code edt
-- http://id.loc.gov/vocabulary/relators/edt
9 (RLIN) 78405
710 2# - ADDED ENTRY--CORPORATE NAME
Corporate name or jurisdiction name as entry element SpringerLink (Online service)
773 0# - HOST ITEM ENTRY
Title Springer Nature eBook
776 08 - ADDITIONAL PHYSICAL FORM ENTRY
Relationship information Printed edition:
International Standard Book Number 9789819606160
776 08 - ADDITIONAL PHYSICAL FORM ENTRY
Relationship information Printed edition:
International Standard Book Number 9789819606184
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE
Uniform title Lecture Notes in Computer Science,
International Standard Serial Number 1611-3349 ;
Volume number/sequential designation 15394
856 40 - ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier <a href="https://doi.org/10.1007/978-981-96-0617-7">https://doi.org/10.1007/978-981-96-0617-7</a>
912 ## -
-- ZDB-2-SCS
912 ## -
-- ZDB-2-SXCS
912 ## -
-- ZDB-2-LNC

No items available.

Biblioteca Universității "Dunărea de Jos" din Galați