Cover Image
Read Now

921
by Ganter, Bernhard, Wille, Rudolf
Published 1999
Springer Berlin Heidelberg
“... examples. Since computers are being used ever more widely for knowledge processing, formal methods...”
Cover Image
Read Now

922
Published 2020
Springer International Publishing
Table of Contents: “... for Smart Contracts with Formal Methods -- SoK: Transparent Dishonesty: Front-running Attacks on Blockchain...”
Cover Image
Read Now

923
Published 2023
Springer International Publishing
Table of Contents: “... degrees -- A formal method for driver identification -- Analysis and identification of forensic events...”
Cover Image
Read Now

924
Published 2023
Springer International Publishing
Table of Contents: “... of Complex Application of the Formal Method of EVENT-B for Development of Environmental Management Systems...”
Cover Image
Read Now

925
Published 2003
Springer Berlin Heidelberg
Table of Contents: “... Properties -- Formal Verification of the Horn-Preneel Micropayment Protocol -- Formal Methods -- Action...”
Cover Image
Read Now

926
Published 2005
Springer Berlin Heidelberg
Table of Contents: “... to Software Components -- Formal Methods -- Extending Ravenscar with CSP Channels -- Dynamic Tasks...”
Cover Image
Read Now

927
Published 1996
Springer US
Table of Contents: “... of design -- 8 A formal method for assessing product performance at the conceptual stage of the design...”
Cover Image
Read Now

928
Published 2004
Springer US
Table of Contents: “... -- Formal Methods and Notations -- Analysing Dynamic Function Scheduling Decisions -- Formal Verification...”
Cover Image
Read Now

929
Published 2024
Springer Nature Singapore
Table of Contents: “... of Floating Crane During Lifting Operation: A Parametric Study -- Part 2: Computational Mathematics (Formal...”
Cover Image
Read Now

930
Published 2024
Springer Nature Switzerland
Table of Contents: “... and Substantial Use Case in the Automotive Industry -- Preface of the 1st Workshop on Formal Methods for Business...”
Cover Image
Read Now

931
Published 2014
Springer International Publishing
Table of Contents: “...Preface: Maria Carla Galavotti -- TEAM A: FORMAL METHODS -- Chapter 1: Things in Possible...”
Cover Image
Read Now

932
Published 2014
Springer International Publishing
“...This volume seeks to further the use of formal methods in clarifying one of the central problems...”
Cover Image
Read Now

933
Published 2014
Springer International Publishing
“.... The papers are organized in topical sections on security protocols, formal methods, physical security, attack...”
Cover Image
Read Now

934
Published 2022
Springer International Publishing
Cover Image
Read Now

935
Published 2023
Springer Nature Switzerland
Table of Contents: “... Composition: the modes A10, A11 and A12 are insecure -- Exploring Formal Methods for Cryptographic Hash...”
Cover Image
Read Now

936
Published 1992
Springer Berlin Heidelberg
“... entering established research areas in formal methods, such as process algebra, temporal logic, and model...”
Cover Image
Read Now

937
Published 2024
Springer Nature Switzerland
Table of Contents: “... for Decentralized Marketplaces. -- Attack. -- Resiliency Analysis of Mission-critical System of Systems Using Formal...”
Cover Image
Read Now

938
Published 1992
Springer Berlin Heidelberg
Table of Contents: “...Performance issues in parallel programming -- Combining Petri Nets and other formal methods...”
Cover Image
Read Now

939
Published 2023
Springer Nature Switzerland
“... lightweight formal methods to monitor, analyze, and guide the runtime behavior of software and hardware...”
Cover Image
Read Now

940
Published 2024
Springer Nature Switzerland
“..., runtime monitoring, and formal methods. The book consists of three parts, each covering a different aspect...”